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
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;
Conference_Titel :
Machine Learning and Cybernetics (ICMLC), 2010 International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-1-4244-6526-2
DOI :
10.1109/ICMLC.2010.5580592
