๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification of protocols using symbolic execution

โœ Scribed by Daniel Brand; William H Joyner Jr.

Publisher
Elsevier Science
Year
1978
Weight
896 KB
Volume
2
Category
Article
ISSN
0376-5075

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Rewriting-Based Verification of Authenti
Rewriting-Based Verification of Authentication Protocols
โœ Kazuhiro Ogata; Kokichi Futatsugi ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 266 KB

We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then wri

Symbolic verification of multiagent grap
Symbolic verification of multiagent graphical decision models
โœ Yifeng Zeng; Kim-leng Poh ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 166 KB

Multiply sectioned influence diagrams (MSID), together with hyper relevance graph (HRG), is a probabilistic graphical decision model representing distributed decision problems involving multiple agents. To ensure a valid model representation, an MSID observes a set of constraints that must be verifi

The Practice of Cryptographic Protocol V
The Practice of Cryptographic Protocol Verification
โœ Michael Rusinowitch ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 119 KB

We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related comple