Security protocol verification: Symbolic and computational models
B Blanchet - International conference on principles of security and …, 2012 - Springer
Security protocol verification has been a very active research area since the 1990s. This
paper surveys various approaches in this area, considering the verification in the symbolic …
paper surveys various approaches in this area, considering the verification in the symbolic …
A review on lightweight cryptography for Internet-of-Things based applications
Abstract The Internet-of-Things (IoT) is a combination of an intelligent infrastructure
combined with various self-organizing devices. These devices are used to monitor the …
combined with various self-organizing devices. These devices are used to monitor the …
Modeling and verifying security protocols with the applied pi calculus and ProVerif
B Blanchet - Foundations and Trends® in Privacy and …, 2016 - nowpublishers.com
ProVerif is an automatic symbolic protocol verifier. It supports a wide range of cryptographic
primitives, defined by rewrite rules or by equations. It can prove various security properties …
primitives, defined by rewrite rules or by equations. It can prove various security properties …
[图书][B] Isabelle/HOL: a proof assistant for higher-order logic
T Nipkow, M Wenzel, LC Paulson - 2002 - Springer
This chapter outlines the concepts and techniques that underlie reasoning in Isabelle. Until
now, we have proved everything using only induction and simplification, but any serious …
now, we have proved everything using only induction and simplification, but any serious …
[图书][B] Life itself: a comprehensive inquiry into the nature, origin, and fabrication of life
R Rosen - 1991 - books.google.com
Why are living things alive? As a theoretical biologist, Robert Rosen saw this as the most
fundamental of all questions-and yet it had never been answered satisfactorily by science …
fundamental of all questions-and yet it had never been answered satisfactorily by science …
The AVISPA tool for the automated validation of internet security protocols and applications
AVISPA is a push-button tool for the automated validation of Internet security-sensitive
protocols and applications. It provides a modular and expressive formal language for …
protocols and applications. It provides a modular and expressive formal language for …
[PS][PS] An E cient Cryptographic Protocol Verifier Based on Prolog Rules
B Blanchet - 14th IEEE Computer Security Foundations Workshop …, 2001 - csl.sri.com
An E cient Cryptographic Protocol Veri er Based on Prolog Rules Page 1 An E cient
Cryptographic Protocol Veri er Based on Prolog Rules Bruno Blanchet INRIA Rocquencourt …
Cryptographic Protocol Veri er Based on Prolog Rules Bruno Blanchet INRIA Rocquencourt …
[图书][B] Protocols for authentication and key establishment
The first edition of this book was published in 2003. Inevitably, certain parts of the book
became outdated quickly. At the same time new developments have continued apace …
became outdated quickly. At the same time new developments have continued apace …
Mobile values, new names, and secure communication
We study the interaction of the" new" construct with a rich but common form of (first-order)
communication. This interaction is crucial in security protocols, which are the main …
communication. This interaction is crucial in security protocols, which are the main …
[图书][B] Secure systems development with UML
J Jürjens - 2005 - books.google.com
Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …
High-quality development of security-critical systems is difficult, mainly because of the …