Modeling and analyzing security protocols in SAM: A case study

: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use SAM, a dual formalism based on Petri nets and temporal logic, to provide a systematic approach to specify and analyze security protocols and their desired properties. We illustrate our approach through a case study.

• Type: Conference
• Year: 2004
• Where: IASTEDSEA
• Authors: Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
• Keywords: IASTEDSEA 2004, Secure Distributed Systems, Secure Information Flow, Security Protocols, Software Engineering