✦ LIBER ✦

Formal Modeling and Analysis of a Secure Mobile-Agent System

✍ Scribed by Lu Ma; Tsai, J.J.P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal modeling and analysis of cognitiv

✍ Alexei Sharpanskykh; Jan Treur 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

A communication security protocol of mob

✍ Huanmei Guan; Huanguo Zhang; Xuejun Meng; Jingwei Zhang 📂 Article 📅 2010 🏛 Wuhan University 🌐 English ⚖ 276 KB

A formal method to model early requireme

✍ Mao Xin-jun; Yu Eric 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 462 KB

A framework for formal modeling and anal

✍ Catholijn M. Jonker; Alexei Sharpanskykh; Jan Treur; PInar Yolum 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 634 KB

A model checking-based approach for secu

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

A message-driving formalism for modeling

✍ Wenzhe Tan; Yueting Chai; Yi Liu 📂 Article 📅 2011 🏛 SP Systems Engineering Society of China 🌐 English ⚖ 474 KB