Title : 
Formal specication of intrusion signatures and detection rules
         
        
            Author : 
Pouzol, Jean-Philippe ; Ducasse, Mireille
         
        
        
        
        
            Keywords : 
Algorithm design and analysis; Computer security; Data structures; Detection algorithms; Expert systems; Intrusion detection; Knowledge based systems; Pattern matching; Petri nets; Writing;
         
        
        
        
            Conference_Titel : 
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
         
        
            Conference_Location : 
Cape Breton, NS, Canada
         
        
        
            Print_ISBN : 
0-7695-1689-0
         
        
        
            DOI : 
10.1109/CSFW.2002.1021807