A Formal Model for Systematic Design of Key Establishment Protocols

Authors:
Carsten Rudolph
Affiliations:
-
Venue:
ACISP '98 Proceedings of the Third Australasian Conference on Information Security and Privacy
Year:
1998

Citing 0
Cited 2

Suitability of a Classical Analysis Method for E-commerce Protocols

ISC '01 Proceedings of the 4th International Conference on Information Security
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Computer Communications

Quantified Score

Hi-index	0.01

Visualization

Abstract