Semantics for a Simple Logic for Authentication Protocol Design
Dake He · Jisuanji gongcheng · 2006
Levente Buttyan et al put forward a simple logic for authentication protocol design.Protocol designer can construct authentication protocol by the logic in a systematic way.This paper gives the strand space semantics for the logic by combining the logic and strand space,then proves that inference rules of the logic are correct by it.