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