PUBLICATIONS

Book:

  • S. Bijani, H. Keramati, H. Bagheri, “Introduction to Internal Network Security”, ISBN: 964-95935-1-9, September 2004. (Farsi)

Journal Papers:


Conference Papers:


Posters:

  • “Secrecy Analysis of Interaction Models in Open Multi-Agent Systems”, SICSA PhD Conference, Edinburgh, 23-25 May 2011.
  • “Security Verification of Interaction Models in Open Multi-agent Systems ”, 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Edinburgh, UK, 16-19 Aug 2010.