A Case Study Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao School of Computer ...  Home/Search
Context
Related
| fiu.edu/~sgao01/researc...Dai_sea04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fiu.edu/~sgao01/resear...research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. (Update)
Active bibliography (related documents): More All
0.3: Using CSP to Model and Analyze Transmission Control Protocol .. - Shahriari, Jalili (2004) (Correct)
0.3: First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
0.2: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
Similar documents based on text: More All
0.3: Improving Scenario-Driven Role Engineering Process with Aspects - Gao, Dai, Yu (2004) (Correct)
0.2: Unknown - (Correct)
0.2: Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
BibTeX entry: (Update)
@misc{ zhengfan-modeling,
author = "Case Study Zhengfan",
title = "Modeling And Analyzing Security Protocols In Sam:",
url = "citeseer.ist.psu.edu/730274.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
368 Analysis and Applications (context) - Murata, Nets - 1989
302 A Logic of Authentication - Burrows, Abadi et al. - 1990
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
58 MOPS: an Infrastructure for Examining Security Properties of.. - Chen, Wagner - 2002
53 Formal Verification of Cryptographic Protocols: A Survey - Meadows - 1994
47 Analyzing Encryption Protocols Using Formal Verification Tec.. (context) - Kemmerer - 1989
40 The SPIN Model Checker: Primer and Reference Manual (context) - Holzmann - 2003
34 PredicateTransition Net (context) - Transition, Springer - 1987
18 An Attack on the Needham-Schroeder Public-Key Protocol (context) - Lowe - 1995
9 OKAPI: a Kernel for Access Control to Multimedia Services Ba.. (context) - Guimaraes, Boucqueau et al. - 1996
7 A Computer-aided Design of a Secure Registration Protocol - Germeau, Leduc - 1997
5 A Framework for Developing and Analyzing Software Architectu.. (context) - He, Deng - 2002
3 Modeling and Analysis of Security Protocols (context) - Ryan, Schneider - 2001
1 Ninth Annual ACM Symposium on Principles of Distributed Comp.. (context) - Manna, Pnueli et al. - 1990
1 Formal Verification of Authentication Protocols (context) - Bieber, Boulahia-Cuppens - 1994
1 Verification of Security Protocols Using LOTOS - Method and .. - Leduc, Germeau - 2000
1 An Approach for Modeling and Analysis of Security System Arc.. (context) - Deng, Wang et al. - 2003
Documents on the same site (http://www.cs.fiu.edu/~sgao01/research/research.html): More
Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
Applying Aspect-Orientation in Designing Security Systems: A.. - Shu Gao Yi (2004) (Correct)
Unknown - (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC