URL: http://www.elsevier.nl/locate/entcs/volume40.html 44 pages Typed...  Home/Search
Context
Related
| stanford.edu/~iliano/pa...entcs01.ps.gz 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: stanford.edu/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The language MSR has successfully been used in the past to prove undecidability results about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise this formalism into a flexible specification framework for complex crypto-protocols. More specifically, we equip it with an extensible typing infrastructure based on dependent types with subsorting, which elegantly captures and enforces basic relations among objects, such as between a public key and its inverse. ... (Update)
Similar documents (at the sentence level): More
80.0%: Typed Multiset Rewriting Specifications of Security Protocols - Cervesato (2001) (Correct)
18.6%: Typed MSR: Syntax and Examples - Cervesato (2001) (Correct)
14.3%: A Specification Language for Crypto-Protocols based on Multiset.. - Cervesato (2001) (Correct)
Active bibliography (related documents): More All
0.2: Relating Multiset Rewriting and Process - Algebras For Security (Correct)
0.2: Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
0.2: A Notion of Classical Pure Type System - Barthe, Hatcliff, al. (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ www-electronic,
author = "Url Http Www",
title = "Electronic Notes in Theoretical Computer Science 40 (2001)",
url = "citeseer.ist.psu.edu/765681.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
434 A framework for defining logics - Harper, Honsell et al. - 1993
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
90 Strand spaces: Why is a security protocol correct (context) - Thayer, Jonathan et al. - 1998
71 Undecidability of bounded security protocols - Durgin, Lincoln et al. - 1999
57 Model checking for security protocols - Marrero, Clarke et al. - 1997
51 Key management for large dynamic groups: One-way function tr.. (context) - Balenson, McGrew et al. - 2000
44 A survey of authentication protocol literature (context) - Clark, Jacob - 1997
42 Relating strands and multiset rewriting for security protoco.. - Cervesato, Durgin et al.
42 CAPSL Intermediate Language - Denker, Millen - 1999
42 Relating strands and multiset rewriting for security protoco.. - Cervesato, Durgin et al. - 2000
41 A note on the use of timestamps as nonces - Cli, Neuman et al. - 1993
40 Subtyping dependent types - Aspinall, Compagnoni - 1996
38 Refinement types for logical frameworks - Pfenning - 1993
30 Typed MSR: Syntax and examples - Cervesato - 2001
20 Interpreting strands in linear logic - Cervesato, Durgin et al. - 2000
20 Theoretical Computer Science (context) - Guttman, Fabrega et al. - 2001
9 Optimizing protocol rewrite rules of CIL specifications - Denker, Millen et al. - 2000
5 volume 8 of Cahiers du Centre de Logique (context) - de Groote, Curry-Howard - 1995
http://www.cs.stanford.edu/~iliano/
http://www.cs.stanford.edu/~iliano/
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (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