J.P. Bekmann, P. de Goede  Home/Search
Context
Related
| cs.uct.ac.za/Research/DNA/...spear10.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: auto.tuwien.ac.at/...w2f_security (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Multi-dimensional security analysis is effective in creating cryptographic protocols since it encompasses a variety of analysis techniques, thereby providing a higher security confidence than individual approaches. SPEAR, the Security Protocol Engineering and Analysis Resource, is a protocol engineering tool which focuses on security protocols, with the specific aim of producing secure and efficient protocol designs and support for the `production' process. SPEAR offers developers of... (Update)
Active bibliography (related documents): More All
0.5: A HOL Extension of GNY for Automatically Analyzing Cryptographic.. - Brackin (1996) (Correct)
0.3: SPEAR II - The Security Protocol Engineering and Analysis Resource - Hutchison (1999) (Correct)
0.3: Applying Formal Methods to Standard Development: The Open.. - Sinnott, Turne (1995) (Correct)
Similar documents based on text: More All
1.4: Using GYPSIE, GYNGER and Visual GNY to Analyze Cryptographic.. - Saul, Hutchison (2001) (Correct)
1.0: A Graphical Environment for the Facilitation of Logic-Based.. - Saul, Hutchison (2000) (Correct)
0.8: An Environment to facilitate the Teaching of GNY-Based.. - Saul, Hutchison (Correct)
BibTeX entry: (Update)
@misc{ bekmann-multidimensional,
author = "J.P. Bekmann and P. de Goede",
title = "Multi-Dimensional Security Protocol Engineering using SPEAR",
url = "citeseer.ist.psu.edu/bekmann97multidimensional.html" }
Citations (may not include all citations):166 Message Sequence Chart (context) - Recommendation - 1996
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
140 Reasoning About Belief in Cryptographic Protocols - Gong, Needham et al. - 1990
121 Three Systems for Cryptographic Protocol Analysis (context) - Kremmerer, Meadows et al. - 1994
89 The Interrogator: Protocol Security Analysis (context) - Millen, Clark et al. - 1987
27 The CCITT-Specification and Description Language SDL (context) - Belina, Hogrefe - 1988
23 A HOL extension of GNY for automatically analyzing cryptogra.. - Brackin - 1996
17 Lower Bounds on Messages and Rounds for Network Authenticati.. - Gong - 1993
5 ACM SIGOPS Operating Systems Review (context) - Needham, Schroeder - 1987
5 ITU General Secretariat (context) - Recommendation, Specification et al. - 1988
3 Performance modelling with the formal specification language.. - Butow, Mestern et al. - 1996
2 Australian Computer Science Communications (context) - Safavi-Naini, Mathuria et al. - 1995
1 Introduction to SDL (context) - Faergemand, Olsen - 1994
1 Cryptographic Key Distribution and Authentication Protocols .. (context) - Hutchison, Bauknecht - 1996
1 SDL performance evaluation of concurrent systems: A CASE too.. (context) - Henning, Vermeulen et al. - 1996
Documents on the same site (http://auto.tuwien.ac.at/Projects/W2F/Bibs/w2f_security.html):
A Model for Secure Protocols and Their Compositions - Heintze, Tygar (1996) (Correct)
Using Isabelle to Prove Properties of the Kerberos Authentication.. - Bella (1997) (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