"Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers " - читать интересную книгу автора (Ali E. Abdallah, Peter Ryan, Steve Schneider)