A framework for merging inconsistent beliefs in security protocol analysis
Chen, Qingfeng, Chen, Yi-Ping Phoebe, Zhang, C. and Zhang, S. 2005, A framework for merging inconsistent beliefs in security protocol analysis, in International Workshop on Data Engineering Issues in E-Commerce : DEEC 2005 : proceedings : 9 April 2005, Tokyo, Japan, IEEE Xplore, Piscataway, N.J., pp. 119-124.
(Some files may be inaccessible until you login with your Deakin Research Online credentials)
International Workshop on Data Engineering Issues in E-Commerce : DEEC 2005 : proceedings : 9 April 2005, Tokyo, Japan
International Workshop on Data Engineering Issues in E-Commerce
Place of publication
This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Field of Research
080199 Artificial Intelligence and Image Processing not elsewhere classified
Unless expressly stated otherwise, the copyright for items in Deakin Research Online is owned by the author, with all rights reserved.
Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO.
If you believe that your rights have been infringed by this repository, please contact email@example.com.