Foundations and Applications of Security Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642034589, 9783642034596
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Validation of OFEPSP+ with AVISPA

2009 ◽  
pp. 124-137 ◽  
Author(s):  
Jorge L. Hernandez-Ardieta ◽  
Ana I. Gonzalez-Tablas ◽  
Benjamin Ramos
Keyword(s):  
Formal Validation

Improving the Semantics of Imperfect Security

2009 ◽  
pp. 88-91
Author(s):  
Niklas Broberg ◽  
David Sands

scholarly journals Towards a Type System for Security APIs

2009 ◽  
pp. 173-192 ◽  
Author(s):  
Gavin Keighren ◽  
David Aspinall ◽  
Graham Steel
Keyword(s):  
Type System ◽  
Security Apis

Validating Security Protocols under the General Attacker

2009 ◽  
pp. 34-51 ◽  
Author(s):  
Wihem Arsac ◽  
Giampaolo Bella ◽  
Xavier Chantry ◽  
Luca Compagna
Keyword(s):  
Security Protocols

Static Detection of Logic Flaws in Service-Oriented Applications

2009 ◽  
pp. 70-87 ◽  
Author(s):  
Chiara Bodei ◽  
Linda Brodo ◽  
Roberto Bruni
Keyword(s):  
Service Oriented ◽  
Static Detection

Usage Automata

2009 ◽  
pp. 52-69 ◽  
Author(s):  
Massimo Bartoletti
Load More ...
Sign in / Sign up

Export Citation Format

Share Document