Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

IASTEDSEA
2004

favoriteEmaildiscussreport

122views Software Engineering» more IASTEDSEA 2004»

Modeling and analyzing security protocols in SAM: A case study

13 years 6 months ago

Modeling and analyzing security protocols in SAM: A case study

Download users.cis.fiu.edu

: 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.

Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao

Real-time Traffic

IASTEDSEA 2004 | Secure Distributed Systems | Secure Information Flow | Security Protocols | Software Engineering |

claim paper

Related Content

» Converting Group Key Agreement Protocol into PasswordBased Setting Case Study

» Modeling and Analyzing Security in the Presence of Compromising Adversaries

» Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

» An Extensible Platform for Evaluating Security Protocols

» PasswordBased Encryption Analyzed

» A Lightweight Formal Analysis of a Multicast Key Management Scheme

» Practical Considerations in Protocol Verification The E2C Case Study

» Towards a Formal Foundation of Web Security

» Using ProVerif to Analyze Protocols with DiffieHellman Exponentiation

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2004
Where	IASTEDSEA
Authors	Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao

Comments (0)