selected publications

• academic article

  • Formal framework for defining trust in multi-organisation environment.  International Journal of Autonomous and Adaptive Communications Systems.  9:164-164. 2016

• chapter

  • A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory.  Lecture notes in computer science. 169-182. 2017
  • Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.  Lecture notes in computer science. 89-103. 2012

• conference paper

  • A vector based model approach for defining trust in Multi-Organization Environments.  . 1-8. 2012
  • How to Reduce the Cost of Passive Testing.  . 209-216. 2012
  • Analysis of the OLSR Protocol by Using Formal Passive Testing.  . 152-159. 2009