selected publications academic article A CVS-Server Security Architecture — Concepts and Formal Analysis. . 2002