A Formal Model for Systematic Design of Key Establishment Protocols
作者： Carsten Rudolph
DOI: 10.1007/BFB0053745
关键词:
摘要: We present an abstract formal model for protocols, based on logical secure channels. Unlike other models it is not primarily intended protocol analysis but to serve as the top layer of a layered top-down design method protocols. show examples key establishment protocols which this can be used. Modular supported with concatenation theorem
springer.com
sci-hub.se 参考文章(10)
Catherine A. Meadows, Catherine A. Meadows, Formal Verification of Cryptographic Protocols: A Survey international cryptology conference. pp. 135- 150 ,(1994) , 10.1007/BFB0000430
Ueli M. Maurer, Pierre E. Schmid, A Calculus for Secure Channel Establishment in Open Networks european symposium on research in computer security. pp. 175- 192 ,(1994) , 10.1007/3-540-58618-0_63
Colin Boyd, A Framework for Design of Key Establishment Protocols australasian conference on information security and privacy. pp. 146- 157 ,(1996) , 10.1007/BFB0023295
S. Budkowski, P. Dembinski, An introduction to Estelle: a specification language for distributed systems Computer Networks and Isdn Systems. ,vol. 14, pp. 3- 23 ,(1987) , 10.1016/0169-7552(87)90084-5
John Clark, Jeremy Jacob, On the security of recent protocols Information Processing Letters. ,vol. 56, pp. 151- 155 ,(1995) , 10.1016/0020-0190(95)00136-Z
M. Abadi, R. Needham, Prudent engineering practice for cryptographic protocols ieee symposium on security and privacy. ,vol. 22, pp. 6- 15 ,(1994) , 10.1109/32.481513
Ross Anderson, Roger Needham, Robustness Principles for Public Key Protocols international cryptology conference. pp. 236- 247 ,(1995) , 10.1007/3-540-44750-4_19
Paul Syverson, Limitations on design principles for public key protocols ieee symposium on security and privacy. pp. 62- 72 ,(1996) , 10.5555/525080.884254
N. Heintze, J.D. Tygar, A model for secure protocols and their compositions ieee symposium on security and privacy. ,vol. 22, pp. 16- 30 ,(1994) , 10.1109/32.481514
Peter Ochsenschläger, Rainer Prinoth, Modellierung verteilter Systeme Vieweg+Teubner Verlag. ,(1995) , 10.1007/978-3-322-88841-9