Mana Taghdiri  Home/Search
Context Related
| mit.edu/pubs/these...ghdiri_masters.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: mit.edu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Alloy, a lightweight modelling language based on relations, is used to construct a framework for modelling a class of key management schemes used in secure multicast, aimed at checking them against some critical correctness properties that should be satisfied by all secure multicast protocols. (Update)
Cited by: More
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
S.M. Computer Science - Massachusetts Institute Of (Correct)
Debugging Overconstrained Declarative Models Using.. - Ilya Shlyakhter Mit (2003) (Correct)
Active bibliography (related documents): More All
0.6: Attacking Group Protocols - Steel, BUndy (2005) (Correct)
0.3: Formal Specification and Analysis of the Group Domain of.. - Meadows, Syverson (2003) (Correct)
0.3: A new Perspective for e-business with SSL/TLS - hajjeh, Serhrouchni, Tastet (2003) (Correct)
Similar documents based on text: More All
0.1: Key Management Schemes in Multicast Environments - Dahlman (Correct)
0.1: Scalable Multicast Key Distribution - Ballardie (1994) (Correct)
0.0: Multimedia Security In Group Communications: Recent Progress in .. - Eskicioglu (2002) (Correct)
Related documents from co-citation: More All
5: The model checker SPIN - Holzmann - 1997
5: BerkMin: A Fast and Robust SAT Solver - Goldberg, Novikov - 2002
5: Iolus: A Framework for Scalable Secure Multicasting - Mittra - 1997
BibTeX entry: (Update)
M. Taghdiri. Lightweight modelling and automatic analysis of multicast key management schemes. Master's thesis, Massachusetts Institute of Technology, 2002. http://citeseer.ist.psu.edu/taghdiri02lightweight.html More
@misc{ taghdiri02lightweight,
author = "M. Taghdiri",
title = "Lightweight modelling and automatic analysis of multicast key management
schemes",
text = "M. Taghdiri. Lightweight modelling and automatic analysis of multicast
key management schemes. Master's thesis, Massachusetts Institute of Technology,
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/taghdiri02lightweight.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey - 1992
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
134 The NRL protocol analyzer: An overview - Meadows - 1996
128 Iolus: A framework for scalable secure multicasting - Mittra - 1997
65 Alloy: A lightweight object modelling notation - Jackson - 2002
63 Cliques: A new approach to group key agreement - Steiner, Tsudik et al. - 1998
61 Alcoa: the alloy constraint analyzer (context) - Jackson, Schechter et al. - 2000
53 Formal verification of cryptographic protocols: A survey - Meadows - 1994
44 A model checker for authentication protocols (context) - Marrero, Clarke et al. - 1997
33 Kronos: A scalable group rekeying approach for secure multic.. - Setia, Koussih et al. - 2000
31 Automating first-order relational logic - Jackson - 2000
31 Secure group communications using key graphs - Wong, Gouda et al. - 2000
30 A system for the specification and analysis of key managemen.. (context) - Meadows - 1991
27 Report on the larch shared language: Version - Guttag, Horning et al. - 1990
19 Exploring the design of an intentional naming scheme with an.. - Khurshid, Jackson - 2000
17 TAPS: A first-order verifier for cryptographic protocols (context) - Cohen - 2000
9 Formalizing GDOI group key management requirements in npatrl - Meadows, Syverson et al. - 2001
9 and Manu Sridharan (context) - Jackson, Shlyakhter - 2001
6 The IFAD VDM tools: Lightweight formal methods (context) - Agerholm, Larsen - 1998
6 Using formal methods for analyzing security (context) - Clarke, Marrero - 1998
3 Group domain of interpretation for ISAKMP (context) - Baugher, Hardjono et al. - 2001
3 Exploring filesystem synchronization with lightweight modeli.. (context) - Nolte - 2002
2 Evaluating the small scope hypothesis - Andoni, Daniliuc et al.
2 A key distribution and rekeying framework with totally order.. (context) - Tanaka, Sato - 2001
1 Analyzing distributed algorithms with first-order logic (context) - Shlyakhter, Sridharan et al.
1 A push-based key distribution and rekeying protocol for secu.. (context) - Sato, Tanaka - 2000
1 Symbolic model checking wihout BDDs (context) - Biere, Cimatti et al. - 1999
Documents on the same site (http://sdg.lcs.mit.edu/publications.html): More
Exploiting Subformula Sharing in Automatic.. - Shlyakhter.. (2003) (Correct)
Exploring Filesystem Synchronization with - Lightweight Modeling And (Correct)
Correcting a Naming Architecture Using Lightweight.. - Khurshid, Jackson (2001) (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