selected publications

• academic article

  • A verification approach to applied system security.  International Journal on Software Tools for Technology Transfer.  7:233-247. 2005
  • A Case Study of a Formalized Security Architecture.  Electronic Notes in Theoretical Computer Science.  80:24-40. 2003
  • A CVS-Server Security Architecture — Concepts and Formal Analysis.  .  2002

• chapter

  • Assisted Proof Document Authoring.  Lecture Notes in Computer Science. 2006