✦ LIBER ✦

A formal framework for secure and complying services

✍ Scribed by Basile, Davide; Degano, Pierpaolo; Ferrari, Gian -Luigi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a formal framework for security prope

✍ Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 204 KB

A formal framework for service mashups w

✍ Qin Li,Jianqi Shi,Huibiao Zhu 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 343 KB

A Formal Engineering Framework for Servi

✍ Miao, Weikai; Liu, Shaoying 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 511 KB

Secure Service and Network Framework for

✍ Masahiro Kuroda; Mariko Yoshida; Ryoji Ono; Shinsaku Kiyomoto; Toshiaki Tanaka 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 680 KB

Formal language for security services ba

✍ Denis Trček; Borka Jerman Blažič 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 961 KB

A formal description framework and a mat

✍ Karunamurthy, Rajesh; Khendek, Ferhat; Glitho, Roch H. 📂 Article 📅 2010 🏛 Emerald Group Publishing Limited 🌐 English ⚖ 296 KB