Openly accessible

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.

Attached Files
Name Description MIMEType Size Downloads
chen-frameworkformerging-2005.pdf chen-frameworkformerging-2005.pdf application/pdf 265.75KB 191

Title A framework for merging inconsistent beliefs in security protocol analysis
Author(s) Chen, Qingfeng
Chen, Yi-Ping Phoebe
Zhang, C.
Zhang, S.
Conference name International Workshop on Data Engineering Issues in E-Commerce (2005 : Tokyo, Japan)
Conference location Tokyo, Japan
Conference dates 9 April 2005
Title of proceedings International Workshop on Data Engineering Issues in E-Commerce : DEEC 2005 : proceedings : 9 April 2005, Tokyo, Japan
Editor(s) [Unknown]
Publication date 2005
Conference series International Workshop on Data Engineering Issues in E-Commerce
Start page 119
End page 124
Publisher IEEE Xplore
Place of publication Piscataway, N.J.
Summary 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.
Notes 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.
ISBN 076952401X
9780769524016
Language eng
Field of Research 080199 Artificial Intelligence and Image Processing not elsewhere classified
HERDC Research category E1 Full written paper - refereed
Copyright notice ©2005, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30005720

Document type: Conference Paper
Collections: School of Information Technology
Open Access Collection
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO 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 drosupport@deakin.edu.au.

Versions
Version Filter Type
Access Statistics: 433 Abstract Views, 191 File Downloads  -  Detailed Statistics
Created: Mon, 07 Jul 2008, 09:53:18 EST

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 drosupport@deakin.edu.au.