Total Books: 1 - 3 /3
Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
Lire la suite
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lire la suite
Hardening Linux
“Hardening” is the process of protecting a system and its applications against unknown threats. Hardening Linux identifies ...
Lire la suite
Total Books: 1 - 3 /3
