1
Formal Aspects of Security [E-Book] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /