New Logic for Analyzing Security Protocols
Zheng‐an Yao · Jisuanji gongcheng · 2007
This paper presents a new logic which can be used to analyze security protocols.There is no necessity to idealize protocols when analyzing authentication protocols,which can avoid analysis errors caused by informal idealization.The new logic can be used to analyze accountability and fairness in electronic commerce protocols including the real-world protocols.The process of analyzing protocols is concise and can be implemented automatically.