On the Importance of Checking Cryptographic Protocols for Faults

Dan Boneh; Richard A. DeMillo; Richard J. Lipton

doi:10.1007/3-540-69053-0_4

Keywords

Computer scienceCryptographyCryptographic protocolCryptographic primitiveImplementationAuthentication (law)Theoretical computer scienceDistributed computingComputer securityProgramming language

Affiliated Institutions

Princeton University US

Related Publications

A logic of authentication

Michael T. Burrows , M. Abadi , Roger M. Needham

Questions of belief are essential in analysing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify...

1989 Proceedings of the Royal Society of L... 627 citations

FLIP: an internetwork protocol for supporting distributed systems

M. Frans Kaashoek , Robbert van Renesse , Hans van Staveren +1 more

Most modern network protocols give adequate support for traditional applications such as file transfer and remote login. Distributed applications, however, have different requir...

1993 ACM Transactions on Computer Systems 50 citations

Handbook of applied cryptography

Alfred Menezes , Scott A. Vanstone , Paul C. van Oorschot

From the Publisher: A valuable reference for the novice as well as for the expert who needs a wider scope of coverage within the area of cryptography, this book provides easy a...

1997 Choice Reviews Online 10446 citations

Non-interactive cryptocomputing for NC/sup 1/

Tomas Sander , Adam Young , Moti Yung

The area of "computing with encrypted data" has been studied by numerous authors in the past twenty years since it is fundamental to understanding properties of encryption and i...

2003 279 citations

Logics for cryptographic protocols-virtues and limitations

Virgil D. Gligor , Rajashekar Kailar , Stuart G. Stubblebine +1 more

The authors discuss the virtues and limitations of several logics for cryptographic protocols focusing primarily on the logics of authentication. They emphasize the scope limita...

2002 34 citations

Publication Info

Year: 1997
Type: book-chapter
Pages: 37-51
Citations: 1427
Access: Closed

External Links

View on DOI.org

Social Impact

Altmetric

On the Importance of Checking Cryptographic Protocols for Faults

PlumX Metrics

Social media, news, blog, policy document mentions

Citation Metrics

1427

OpenAlex

Cite This

APA Style

                            
                                    Dan Boneh, 
                                
                                    Richard A. DeMillo, 
                                
                                    Richard J. Lipton
                                
                            (1997). 
                            On the Importance of Checking Cryptographic Protocols for Faults. 
                            Lecture notes in computer science
                            
                            , 37-51.
                            https://doi.org/10.1007/3-540-69053-0_4

Identifiers

DOI: 10.1007/3-540-69053-0_4