Publication year: 2007
: 978-3-540-76929-3
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, access control, protocols, intrusion detection, network security, and safe execution.
: Computer Science, IPv6, Information, Linux, access control, anonymity, authentication, bilinear pairings, biometric verification, classification, formal methods, modeling, programming, security, semantics, verification