Michele Boreale, Rocco De Nicola, Rosario Pugliese  Home/Search
Context
Related
| dia.unisa.it/WSDAAL00/...010WSDALL00.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: dia.unisa.it/WSDAAL00...Programma (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ons of these equivalences, while rigorous and intuitive, su er from universal quanti cation over contexts (attackers), that makes equivalence checking very hard. We have shown in previous work [4] how to avoid such quanti cation and obtain more tractable characterizations. The latters are based on an `environment-sensitive' lts (as opposed to the `standard' lts, which only explains process intentions). The states of this lts are pairs h; P i, where P is a process and represents the current... (Update)
Similar documents (at the sentence level):
26.3%: Process Algebraic Analysis Of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (Correct)
26.3%: Process Algebraic Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (Correct)
Active bibliography (related documents): More All
0.0: Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
0.0: Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
0.0: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
Similar documents based on text: More All
0.4: On Compositional Reasoning in the Spi-calculus - Boreale, Gorla (2002) (Correct)
0.3: Trace and Testing Equivalence on Asynchronous Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
0.2: A Theory of "May" Testing for Asynchronous Languages - Boreale, De Nicola, Pugliese (Correct)
BibTeX entry: (Update)
@misc{ boreale-compositional,
author = "Michele Boreale and Rocco De Nicola and Rosario Pugliese",
title = "Compositional Analysis of Cryptographic Protocols",
url = "citeseer.ist.psu.edu/467349.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999 DBLP
322 Breaking and Fixing the Needham-Schroeder Public-Key Protoco.. - Lowe - 1996 ACM DBLP
197 Barbed Bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
149 calculus: a Tutorial (context) - Milner - 1993
149 Testing Equivalence for Processes (context) - De Nicola, Hennessy - 1984 ACM DBLP
70 Verifying Authentication Protocols in CSP (context) - Schneider - 1998 ACM DBLP
61 Kerberos authentication and authorization system - Miller, Neumann et al. - 1987
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995 ACM DBLP
48 Reasoning about cryptographic protocols in the spi calculus - Abadi, Gordon - 1997 ACM DBLP
44 Proof Techniques for Cryptographic Processes - Boreale, De Nicola et al. - 1999
3 Provin Security Protocols Correct (context) - Paulson - 1999
Documents on the same site (http://www.dia.unisa.it/WSDAAL00/plain/Programma.html): More
Fast Distributed Graph Coloring With ... Colors - De Marco, Pelc (Correct)
Permanent, Ephemeral, and Temporary Data in Shared.. - Busi, Gorrieri.. (Correct)
An Algorithm Animation System for Parallel Programs - Cattaneo, Petrillo, Guiducci (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