loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Workshop on Data Engineering Issues in E-Commerce
A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis
Tokyo, Japan
April 09-April 09
ISBN: 0-7695-2401-X
ASCII Text
x 
 
Qingfeng Chen, Yi-Ping Phoebe Chen, Chengqi Zhang, Shichao Zhang, "A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis," Data Engineering Issues in E-Commerce, International Workshop on, pp. 119-124, International Workshop on Data Engineering Issues in E-Commerce, 2005.
 
 
BibTex
x
 
@article{ 10.1109/DEEC.2005.1,
author = {Qingfeng Chen and Yi-Ping Phoebe Chen and Chengqi Zhang and Shichao Zhang},
title = {A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis},
journal ={Data Engineering Issues in E-Commerce, International Workshop on},
volume = {0},
year = {2005},
isbn = {0-7695-2401-X},
pages = {119-124},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEEC.2005.1},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Data Engineering Issues in E-Commerce, International Workshop on
TI - A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis
SN - 0-7695-2401-X
SP119
EP124
A1 - Qingfeng Chen,
A1 - Yi-Ping Phoebe Chen,
A1 - Chengqi Zhang,
A1 - Shichao Zhang,
PY - 2005
KW - null
VL - 0
JA - Data Engineering Issues in E-Commerce, International Workshop on
ER -
 
Qingfeng Chen, School of Information Technology, Deakin University,VIC, Australia
Yi-Ping Phoebe Chen, School of Information Technology, Deakin University,VIC, Australia
Chengqi Zhang, Faculty of Information Technology University of Technology Sydney, Australia
Shichao Zhang, Faculty of Information Technology University of Technology Sydney, Australia

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.

Citation:
Qingfeng Chen, Yi-Ping Phoebe Chen, Chengqi Zhang, Shichao Zhang, "A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis," deec, pp.119-124, International Workshop on Data Engineering Issues in E-Commerce, 2005
Usage of this product signifies your acceptance of the Terms of Use.