Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers - Abdallah, Ali E.; Abdallah, Ali E.; Ryan, Peter; Ryan, Peter; Schneider, Steve; Schneider, Steve (Springer Berlin Heidelberg : Imprint: Springer, 2003)