DocumentCode :
2020375
Title :
Formal specication of intrusion signatures and detection rules
Author :
Pouzol, Jean-Philippe ; Ducasse, Mireille
fYear :
2002
fDate :
24-26 June 2002
Firstpage :
60
Keywords :
Algorithm design and analysis; Computer security; Data structures; Detection algorithms; Expert systems; Intrusion detection; Knowledge based systems; Pattern matching; Petri nets; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
Conference_Location :
Cape Breton, NS, Canada
ISSN :
1063-6900
Print_ISBN :
0-7695-1689-0
Type :
conf
DOI :
10.1109/CSFW.2002.1021807
Filename :
1021807
Link To Document :
بازگشت