selected publications

• conference paper

  • A vector based model approach for defining trust in Multi-Organization Environments.  . 1-8. 2012
  • Role based interoperability security policies in collaborative systems.  . 471-477. 2012
  • Verification of Interoperability Security Policies by Model Checking.  . 376-381. 2011
  • A Formal Approach for Interoperability Testing of Security Rules.  . 277-284. 2010
  • Interoperability testing of presence service on IMS platform.  . 1-6. 2009