Security Verification of Interaction Models in Open Multi-agent Systems

Shahriar Bijani

---

URL :   http://research.shahed.ac.ir/WSR/WebPages/Report/PaperView.aspx?PaperID=10122
Date :  2010/08/17
Publish in :    International Conference on Verified Software: Theories, Tools and Experiments

Link :  http://www.macs.hw.ac.uk/vstte10/
Keywords :Security, Verification, Interaction

Abstract :

---

http://www.macs.hw.ac.uk/vstte10/