Title : 
2006 IEEE Symposium on Security and Privacy
         
        
        
        
            Abstract : 
The following topics are dealt with: signature generation; intrusion detection; data privacy; formal methods; code analysis; authentication; and security attacks
         
        
            Keywords : 
formal specification; security of data; authentication; code analysis; data privacy; formal methods; intrusion detection; security attacks; signature generation;
         
        
        
        
            Conference_Titel : 
Security and Privacy, 2006 IEEE Symposium on
         
        
            Conference_Location : 
Berkeley/Oakland, CA
         
        
        
            Print_ISBN : 
0-7695-2574-1