Michele Boreale, Daniele Gorla  Home/Search
Context
Related
| gdn.dsi.unifi.it/~gorla/./...JTIT02.pdf mikado.di.fc.ul.pt...iverification.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: gdn.dsi.unifi.it/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently there has been much interest towards using formal methods in the analysis of security protocols. Some recent approaches take advantage of concepts and techniques from the field of process calculi. Process calculi can be given a formal yet simple semantics, which permits rigorous definitions of such concepts as `attacker', `secrecy' and `authentication'. This feature has led to the development of solid reasoning methods and verification techniques, a few of which we outline in this... (Update)
Similar documents (at the sentence level):
7.7%: Experimenting with STA, a tool for automatic analysis of.. - Boreale, Buscemi (Correct)
Active bibliography (related documents): More All
0.5: Random polynomial-time attacks and Dolev-Yao models - Baudet (2003) (Correct)
0.5: Context-Sensitive Equivalences for Non-Interference.. - Bugliesi, Ceccato, Rossi (2003) (Correct)
0.4: A Method for Symbolic Analysis of Security Protocols - Boreale, Buscemi (Correct)
Similar documents based on text: More All
0.7: On Compositional Reasoning in the Spi-calculus - Boreale, Gorla (2002) (Correct)
0.5: Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
0.5: A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
BibTeX entry: (Update)
@misc{ boreale-process,
author = "Michele Boreale and Daniele Gorla",
title = "Process Calculi and the Verification of Security Protocols",
url = "citeseer.ist.psu.edu/boreale02process.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
404 A Calculus for Cryptographic Protocols: the spi-calculus - Abadi, Gordon - 1999
322 Breaking and Fixing the Needham-Schroeder Public-Key Protoco.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
263 The Inductive Approach to Verifying Cryptographic Protocols - Paulson - 1998
197 Barbed Bisimulation - Milner, Sangiorgi - 1992
184 Automated Analysis of Cryptographic Protocols Using Murj - Mitchell, Mitchell et al. - 1997
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
158 Secrecy by Typing in Security Protocols - Abadi - 1999
149 Testing Equivalence for Processes (context) - De Nicola, Hennessy - 1984
149 calculus: a Tutorial (context) - Milner, p- - 1993
136 The Kerberos Network Authentication Service - Kohl, Neuman - 1993
71 Undecidability of Bounded Security Protocols - Durgin, Lincoln et al. - 1999
67 A Hierarchy of Authentication Specifications - Lowe - 1997
59 A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon - 1998
54 Testing Equivalence for Mobile Processes (context) - Boreale, De Nicola - 1995
54 Authenticity by Typing for Security Protocols - Gordon, Jeffrey - 2001
50 the Reachability Problem in Cryptographic Protocols - Amadio, Lugiez - 2000
44 Proof Techniques for Cryptographic Processes - Boreale, De Nicola et al. - 1999
35 Protocol Insecurity with Finite Number of Sessions in NP-Com.. - Rusinowitch, Turuani - 2001
33 Analyzing Security Protocols with Secrecy Types and Logic Pr.. - Abadi, Blanchet - 2002
32 Symbolic Trace Analysis of Cryptographic Protocols - Boreale - 2076
31 Tree Automata with One Memory (context) - Comon, Cortier et al. - 2076
30 Towards a Mechanization of Cryptographic Protocol Verificati.. - Bolignano - 1997
15 A Method for Automatic Cryptographic Protocol Verification (context) - Goubault-Larrecq - 2000
11 Efficient Infinite-State Analysis of Security Protocols - Huima - 1999
4 a Tool for Automatic Analysis of Security Protocols (context) - Boreale, Buscemi et al. - 2002
2 On Compositional Reasoning in the SpiCalculus - Boreale, Gorla - 2002
2 Asymmetric Cryptography and Practical Security (context) - Pointcheval
1 available from httplampwww (context) - Nestmann, for et al. - 2002
Documents on the same site (http://gdn.dsi.unifi.it/~gorla/publications.htm): More
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (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