Ali E. Abdallah & Peter Ryan
Formal Aspects of Security [PDF ebook]
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Formal Aspects of Security [PDF ebook]
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers