A framework for merging inconsistent beliefs in security protocol analysis

Chen, Q; Chen, YPP; Zhang, C; Zhang, S

A framework for merging inconsistent beliefs in security protocol analysis

Chen, Q Chen, YPP Zhang, C

Zhang, S

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings - International Workshop on Data Engineering Issues in E-Commerce, DEEC 2005, 2005, 2005 pp. 119 - 124
Issue Date:: 2005-12-01

Closed Access

	Filename	Description	Size
	2005003075.pdf		199.51 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Chen, Q	en_US
dc.contributor.author	Chen, YPP	en_US
dc.contributor.author	Zhang, C https://orcid.org/0000-0001-5715-7154	en_US
dc.contributor.author	Zhang, S	en_US
dc.date.issued	2005-12-01	en_US
dc.identifier.citation	Proceedings - International Workshop on Data Engineering Issues in E-Commerce, DEEC 2005, 2005, 2005 pp. 119 - 124	en_US
dc.identifier.isbn	076952401X	en_US
dc.identifier.isbn	9780769524016	en_US
dc.identifier.uri	http://hdl.handle.net/10453/2468
dc.description.abstract	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. © 2005 IEEE.	en_US
dc.relation	http://purl.org/au-research/grants/arc/DP0449535
dc.relation.ispartof	Proceedings - International Workshop on Data Engineering Issues in E-Commerce, DEEC 2005	en_US
dc.relation.isbasedon	10.1109/DEEC.2005.1	en_US
dc.title	A framework for merging inconsistent beliefs in security protocol analysis	en_US
dc.type	Conference Proceeding
utslib.citation.volume	2005	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
dc.location.activity	Tokyo, Japan	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (International)
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - ACRI - Australia China Relations Institute
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US
pubs.volume	2005	en_US

Abstract:

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. © 2005 IEEE.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/2468