Graham Steel, Alan BUndy  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/gste...jar05.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: homepages.inf.ed.ac.uk/gs...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model... (Update)
Active bibliography (related documents): More All
1.0: Visualising First-Order Proof Search - Steel (2005) (Correct)
0.6: A Survey Of Algebraic Properties Used In Cryptographic.. - Cortier, Delaune.. (2004) (Correct)
0.6: Lightweight Modelling and Automatic Analysis of Multicast Key.. - Taghdiri (2002) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@article{ steel05jar,
author = {G. Steel and A. Bundy},
title = {Attacking Group Protocols by Refuting Incorrect Inductive Conjectures},
journal = {Journal of Automated Reasoning},
year = 2005,
month = {December},
pages = {1--28},
editor = {A. Armando and D. Basin and J. R. Cuellar and M. Rusinowitch and L. Vigan\'o},
note = {Special Issue on Automated Reasoning for Security Protocol Analysis},
url = {citeseer.ist.psu.edu/steel05attacking.html} }
Citations (may not include all citations):450 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978
322 Breaking and Fixing the Needham Schroeder Public-Key Protoco.. - Lowe - 1996
263 The Inductive Approach to Verifying Cryptographic Protocols - Paulson - 1998
128 Iolus: A Framework for Scalable Secure Multicasting - Mittra - 1997
97 the security of public key protocols (context) - Dolev, Yao - 1983
74 Theorem Proving by Resolution as a Basis for Question-Answer.. (context) - Green - 1969
65 Alloy: a lightweight object modelling notation - Jackson - 2002
50 A Survey of Authentication Protocol Literature: Version 1.0 - Clark, Jacob - 1997
50 On Proving Inductive Properties of Abstract Data Types (context) - Musser - 1980
43 Key-Agreement in Ad-hoc Networks - Asokan, Ginzboorg - 2000
39 New Multiparty Authentication Services and Key Agreement Pro.. - Ateniese, Steiner et al. - 2000
31 New directions in cryptography (context) - Helman - 1976
30 CAPSL integrated protocol environment - Denker, Millen - 2000
18 Perfect Model Semantics for Logic Programs with Equality (context) - Bachmair, Ganzinger - 1991
17 Di#e-Hellman key distribution extended to group communicatio.. (context) - Steiner, Tsudik et al. - 1996
16 Extending Formal Cryptographic Protocol Analysis Techniques .. - Meadows - 2000
10 Completion of First-Order Clauses with Equality by Strict Su.. (context) - Bachmair, Ganzinger - 1990
9 Formalizing GDOI group key management requirements in NPATRL - Meadows, Syverson - 2001
8 Athena: A Novel Approach to E#cient Automatic Security Proto.. (context) - Song, Berezin et al. - 2001
8 Message Reception in the Inductive Approach (context) - Bella - 1999
8 Dolev-Yao is no better than Machiavelli - Syverson, Meadows et al. - 2000
7 Strand Spaces: Proving Security Protocols Correct (context) - Fabrega, Herzog - 1999
6 Lightweight Modelling and Automatic Analysis of Multicast Ke.. - Taghdiri - 2002
6 Automated Unbounded Verification of Security Protocols (context) - Chevalier, Vigneron - 2002
6 A Divergence Critic for Inductive Proof - Walsh - 1996
6 Fly Model-Checker for Security Protocol Analysis (context) - Basin, Modersheim et al. - 2003
4 Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows - 2003
4 Some attacks upon authenticated group key agreement protocol.. - Pereira, Quisquater - 2003
2 Discovering Attacks on Security Protocols by Refuting Incorr.. (context) - Steel - 2004
2 The authentication protocol (context) - Bull, Otway - 1997
2 A Key Distribution and Rekeying Framework With Totally Order.. (context) - Tanaka, Sato - 2001
2 Attacking a Protocol for Group Key Agreement by Refuting Inc.. (context) - Steel, Bundy et al. - 2004
1 On Automating the Formulation of Security Goals under the In.. (context) - Monroy, Carrillo - 2003
1 A Lightweight Formal Analysis of a Multicast Key management .. (context) - Taghdiri, Jackson - 2003
1 Combining Superposition, Sorts and Splitting (context) - Weidenbach - 2013
1 Induction = I-Axiomatization + First-Order Consistency (context) - Comon, Nieuwenhuis - 2000
Documents on the same site (http://homepages.inf.ed.ac.uk/gsteel/papers/index.html): More
Cross-Domain Concept formation using HR - Steel (1999) (Correct)
Artificial Intelligence and Scientific Creativity - Colton, Steel (1999) (Correct)
Visualising First-Order Proof Search - Steel (2005) (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