An automatic approach for building secure systems

An automatic approach for building secure systems (2002)

Cached

Download Links

[www.ece.cmu.edu]

by Xiaodong Dawn Song

Citations:

2 - 0 self

BibTeX

@TECHREPORT{Song02anautomatic,
    author = {Xiaodong Dawn Song},
    title = {An automatic approach for building secure systems},
    institution = {},
    year = {2002}
}

Bookmark

OpenURL

Abstract

Citations

3118	Communicating sequential processes - Hoare - 1978
2959	Artificial Intelligence: a Modern Approach - Russell, Norvig - 1995
2507	A method for obtaining digital signatures and public-key cryptosystems - Rivest, Shamir, et al.
2026	Model Checking - Clarke, Grumberg, et al. - 2000
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
1040	R.: A logic for authentication - Burrows, Abadi, et al. - 1989
872	A.C.-C.: On the security of public key protocols - Dolev, Yao - 1983
783	Using encryption for authentication in large networks of computers - Needham, Schroeder - 1978
548	Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR - Lowe
490	PVS: A prototype verification system - Owre, Rushby, et al. - 1992
388	Entity authentication and key distribution - Bellare, Rogaway - 1994
386	Isabelle: A generic theorem prover - Paulson - 1994
360	The Official PGP User’s Guide - Zimmermann - 1995
314	A first step towards automated detection of buffer overrun vulnerabilities - Wagner, Foster, et al. - 2000
267	P.: Reconciling two views of cryptography (the computational soundness of formal encryption - Abadi, Rogaway - 2002
245	Automated Analysis of Cryptographic Protocols using Mur - Mitchell, Mitchell, et al. - 1997
207	A survey of authentication protocol literature. http://www.cs.york.ac.uk/˜jac/ papers/drareviewps.ps - Clark, Jacob - 1997
204	Analysis of key-exchange protocols and their use for building secure channels - Canetti, Krawczyk
185	Provably secure session key distribution---the three party case - Bellare, Rogaway - 1995
184	Melham, editors. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic - Gordon, F - 1993
183	A compiler for the analysis of security protocols - Casper - 1997
176	Reasoning about belief in cryptographic protocols - Gong, Needham, et al. - 1990
176	Combining partial order reductions with on-the-fly modelchecking - Peled - 1994
172	Authenticated encryption: Relations among notions and analysis of the generic composition paradigm - Bellare, Namprempre
138	Proving properties of security protocols by induction - Paulson - 1997
134	A.: A metanotation for protocol analysis - Cervesato, Durgin, et al. - 1999
134	Using Secure Coprocessors - Yee - 1994
131	A semantic model for authentication protocols - Woo, Lam - 1993
128	Three systems for cryptographic protocol analysis - Kemmerer, Meadows, et al. - 1994
126	All from one, one for all: on model checking using representatives - Peled - 1993
117	Composition and integrity preservation of secure reactive systems - Pfitzmann, Waidner
107	A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell, et al. - 1998
104	Towards a completeness result for model checking of security protocols - Lowe - 1998
103	The interrogator: Protocol security analysis - Millen, Clark, et al. - 1987
102	Spaces: Proving Security Protocols Correct - Strand - 1999
100	Inductive Analysis of the Internet Protocol TLS - Paulson - 1997
91	Formal verification of cryptographic protocols: A survey - Meadows - 1995
80	Applying Formal Methods to the Analysis of a Key Management Protocol - Meadows - 1990
78	Analysis of the Internet Key Exchange Protocol Using the NRL Protocol Analyzer - Meadows - 1999
71	Finite-State Analysis of SSL 3.0 - Mitchell, Shmatikov, et al. - 1998
68	A model for secure protocols and their composition - Heintze, Tygar - 1996
61	Analyzing the needham-schroeder public-key protocol: A comparison of two approaches - Meadows - 1996
57	Secure coprocessors in electronic commerce applications - Yee, Tygar - 1995
56	Analyzing encryption protocols using formal verification techniques - Kemmerer - 1989
53	Using state space exploration and a natural deduction style message derivation engine to verify security protocols - Clarke, Jha, et al. - 1998
43	An approach to the formal verification of cryptographic protocols - Bolignano - 1996
40	A model of computation for the NRL Protocol Analyzer - Meadows - 1994
36	API-level attacks on embedded systems - Bond, Anderson - 2001
36	G.: Analyzing a library of security protocols using Casper - Donovan, Norris, et al. - 1999
36	Completeness theorems for the AbadiRogaway logic of encrypted expressions - Micciancio, Warinschi - 2004