𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cryptographic verification of test coverage claims

✍ Scribed by Devanbu, P.T.; Stubblebine, S.G.

Book ID
117872390
Publisher
IEEE
Year
2000
Tongue
English
Weight
223 KB
Volume
26
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deductive verification of cryptographic
Deductive verification of cryptographic software
✍ JosΓ© Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; BΓ‘rbara Vieira πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 501 KB
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