A logic for modeling the dynamics of beliefs in cryptographic protocols
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
The Logic of Authentication Protocols
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Security Protocol Design via Authentication Tests
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Stepwise development of security protocols: a speech act-oriented approach
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Fast automatic synthesis of security protocols using backward search
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
A collaborative approach to autonomic security protocols
NSPW '04 Proceedings of the 2004 workshop on New security paradigms
A derivation system and compositional logic for security protocols
Journal of Computer Security
Authentication tests and disjoint encryption: A design method for security protocols
Journal of Computer Security - Special issue on CSFW15
Communication-efficient AUTHMAC_DH protocols
Computer Standards & Interfaces
Roaming across wireless local area networks using SIM-based authentication protocol
Computer Standards & Interfaces
Believing the Integrity of a System
Electronic Notes in Theoretical Computer Science (ENTCS)
A simple and efficient key exchange scheme against the smart card loss problem
EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing
Routing functionality in the logic approach for authentication protocol design
HI'11 Proceedings of the 2011 international conference on Human interface and the management of information - Volume Part I
Towards a framework for autonomic security protocols
Proceedings of the 11th international conference on Security Protocols
Fast automatic security protocol generation
Journal of Computer Security
Hi-index | 0.00 |