𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formally based semi-automatic implementation of an open security protocol

✍ Scribed by Alfredo Pironti; Davide Pozza; Riccardo Sisto

Book ID: 113758295
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 757 KB
Volume: 85
Category: Article
ISSN: 0164-1212
DOI: 10.1016/j.jss.2011.10.052

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc ISCC 2002 Seventh Inte

[IEEE Comput. Soc ISCC 2002 Seventh International Symposium on Computers and Communications - Taormina-Giardini Naxos, Italy (1-4 July 2002)] Proceedings ISCC 2002 Seventh International Symposium on Computers and Communications - Automatic implementation system of security protocols based on formal description techniques

✍ Mengual, L.; Barcia, N.; Jimenez, E.; Menasalvas, E.; Setien, J.; Yaguez, J. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 691 KB