Lignende værker: Cryptographic Protocol :
- Secure Transaction Protocol Analysis : Models and Applications /
- Protocol Engineering /
- Adaptive Cryptographic Access Control /
- Operational Semantics and Verification of Security Protocols /
- Security Protocols : International Workshop Cambridge, United Kingdom April 10-12, 1996 Proceedings /
- Security Protocols : 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings /