Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By ACM Press

9781605582887
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Minimal backups of cryptographic protocol runs

2008 ◽  
Author(s):  
Jay A. McCarthy ◽  
Shriram Krishnamurthi
Keyword(s):  
Cryptographic Protocol

Formal analysis of SAML 2.0 web browser single sign-on

2008 ◽  
Author(s):  
Alessandro Armando ◽  
Roberto Carbone ◽  
Luca Compagna ◽  
Jorge Cuellar ◽  
Llanos Tobarra
Keyword(s):  
Formal Analysis ◽  
Web Browser ◽  
Single Sign On

scholarly journals Towards provable secure neighbor discovery in wireless networks

2008 ◽  
Author(s):  
Marcin Poturalski ◽  
Panos Papadimitratos ◽  
Jean-Pierre Hubaux
Keyword(s):  
Wireless Networks ◽  
Neighbor Discovery
Load More ...
Sign in / Sign up

Export Citation Format

Share Document