𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for compositional verification of security protocols

✍ Scribed by Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Saša Radomirović


Book ID
113641707
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
959 KB
Volume
206
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES