DocumentCode
2245543
Title
Formal security analysis of automated trust negotiation
Author
Liu, Xin-xin ; Tang, Shad-hua ; Wei, Kai
Author_Institution
Sch. of Comput. Sci. & Eng., South China Univ. of Technol., Guangzhou, China
Volume
2
fYear
2010
fDate
11-14 July 2010
Firstpage
861
Lastpage
866
Abstract
Automated trust negotiation (ATN) is an approach to establishing mutual trust between strangers wishing to share resources or conduct business by gradually requesting and disclosing digitally signed credentials. We present the formalization of automated trust negotiation system in the applied pi calculus and analyze its security property automatically with the assistant of an automatic protocol analyzer, ProVerif.
Keywords
pi calculus; security of data; ProVerif; automated trust negotiation; automatic protocol analyzer; digitally signed credentials; formal security analysis; pi calculus; Calculus; Educational institutions; Niobium; Phase locked loops; Protocols; ProVerif; automated trust negotiation; formalization; security; the applied pi calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics (ICMLC), 2010 International Conference on
Conference_Location
Qingdao
Print_ISBN
978-1-4244-6526-2
Type
conf
DOI
10.1109/ICMLC.2010.5580592
Filename
5580592
Link To Document