selected publications

• chapter

  • A Secure P2P Video Conference System for Enterprise Environments.  Lecture Notes in Computer Science. 2005

• conference paper

  • Security Policy Management for Peer Group Meetings.  . 2008
  • Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.  . 2008
  • Designing Security Architecture for a P2P Video Conference System.  . 2007