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