A framework for merging inconsistent beliefs in security protocol analysis
conference contribution
posted on 2005-01-01, 00:00 authored by Qingfeng Chen, Yi-Ping Phoebe Chen, C Zhang, Shichao ZhangThis 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.
History
Pagination
119 - 124Location
Tokyo, JapanOpen access
- Yes
Start date
2005-04-09ISBN-13
9780769524016ISBN-10
076952401XLanguage
engNotes
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.Publication classification
E1 Full written paper - refereedCopyright notice
2005, IEEETitle of proceedings
International Workshop on Data Engineering Issues in E-Commerce : DEEC 2005 : proceedings : 9 April 2005, Tokyo, JapanUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC