Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers - Abdallah, Ali E (Verfasser); Ryan, Peter (Verfasser); Schneider, Steve (Verfasser) (Lecture Notes in Computer Science, 2003)