Cryptographic protocols have been widely used to protect communications over insecure network environments. Existing cryptographic protocols usually contain flaws. To analyze these protocols and find potential flaws in them, the secure properties of them need be studied in depth. This paper attempts to provide a new framework to analyze and prove the secure properties in these protocols. A number of predicates and action functions are used to model the network communication environment. Domain rules are given to describe the transitions of principals' knowledge and belief states. An example of public key authentication protocols has been studied and analysed.
X. Cheng et al., "Proving Secure Properties of Cryptographic Protocols with Knowledge Based Approach," Proceedings of the IEEE International Performance, Computing, and Communications Conference, 2005, Institute of Electrical and Electronics Engineers (IEEE), Jul 2005.
The definitive version is available at http://dx.doi.org/10.1109/PCCC.2005.1460503
IEEE International Performance, Computing, and Communications Conference, 2005
Engineering and Physical Sciences Research Council
K. C. Wong Education Foundation
National Natural Science Foundation (China)
Keywords and Phrases
Inference Mechanisms; Telecommunication Society
Library of Congress Subject Headings
Computer network protocols
Article - Conference proceedings
© 2005 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.