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