J. Millen  Home/Search
Context
Related
| sri.com/~millen/papers/wrla.ps 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: sri.com/~millen/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Cryptographic protocols for key distribution and authentication play an important role in Internet security. Certain aws in these protocols can be discovered using term rewriting models to express the protocol, the malicious network environment, and vulnerability search strategies. 1 Cryptographic Protocol Security Cryptographic protocols are short, simple exchanges of messages whose purpose is to distribute secret keys to communicating parties. These keys can be used to transmit con dential... (Update)
Active bibliography (related documents): More All
0.2: MuCAPSL - Millen, Denker (Correct)
0.2: Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
0.2: A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Similar documents based on text: More All
0.4: Data Collection and Restoration for Heterogeneous Process Migration - Sun (2002) (Correct)
0.2: Constraint Solving for Bounded-Process - Cryptographic Protocol Analysis (Correct)
0.2: Modeling Group Communication Protocols Using Multiset Term.. - Denker, Millen (2002) (Correct)
BibTeX entry: (Update)
@misc{ millen-applications,
author = "J. Millen",
title = "Applications of Term Rewriting to Cryptographic Protocol Analysis",
url = "citeseer.ist.psu.edu/millen00applications.html" }
Citations (may not include all citations):404 A calculus for cryptographic protocols: the Spi calculus - Abadi, Gordon - 1998
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
184 Automated analysis of cryptographic protocols using Mur - Mitchell, Mitchell et al. - 1997
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
104 A metanotation for protocol analysis - Cervesato, Durgin et al. - 1999
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
89 The Interrogator: protocol security analysis (context) - Millen, Clark et al. - 1987
75 Towards a completeness result for model checking of security.. - Lowe - 1999
62 Breaking and xing the Needham-Schroeder public-key protocol .. - Lowe - 1996
57 Model checking for security protocols - Marrero, Clarke et al. - 1997
43 Honest ideals on strand spaces (context) - Thayer, Herzog et al. - 1998
30 CAPSL integrated protocol environment - Denker, Millen - 2000
25 Protocol specication and analysis in Maude (context) - Denker, Meseguer et al. - 1998
12 Athena: a new ecient automatic checker for security protocol.. (context) - Song - 1999
5 Design of a CIL connector to Maude - Denker - 2000
1 A system for the specication and verication of key managemen.. (context) - Meadows - 1991
Documents on the same site (http://www.csl.sri.com/~millen/index.html): More
Narrowing Terminates for Encryption - Millen, Ko (1996) (Correct)
Secure Auctions in a Publish/Subscribe System - Song, Millen (Correct)
Workshop, pages 66--78. IEEE Computer Society, 1998. [WL94] T. .. - Acm Operating (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