Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area
Gordon Thomas Rohrmair and Gavin Lowe
Book Title
Formal Aspects of Security‚ First International Conference‚ FASec 2002‚ London‚ UK‚ December 16−18‚ 2002‚ Revised Papers
Editor
Ali E. Abdallah and Peter Ryan and Steve Schneider
ISBN
3−540−20693−0
Pages
205−220
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2629
Year
2002