Designing Secure Key Exchange Protocols

Authors:
Colin Boyd;Wenbo Mao
Affiliations:
-;-
Venue:
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
Year:
1994

Citing 0
Cited 4

A Class of Flexible and Efficient Key Management Protocols

CSFW '96 Proceedings of the 9th 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
Theories of Trust for Communication Protocols

ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract