Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures / [electronic resource] :
edited by Alessandro Aldini, Roberto Gorrieri.
- 1st ed. 2007.
- VII, 328 p. online resource.
- Security and Cryptology, 4677 2946-1863 ; .
- Security and Cryptology, 4677 .
Foundations of Security Analysis and Design -- Security Protocols: Principles and Calculi -- Secure Service Orchestration -- IT Security Analysis Best Practices and Formal Approaches -- Low-Level Software Security: Attacks and Defenses -- Enhancing Java Security with History Based Access Control -- On the Protection and Technologies of Critical Information Infrastructures -- An Interpretation of Identity-Based Cryptography -- Trust and Reputation Systems -- An Introduction to the Role Based Trust Management Framework RT -- Trusted Mobile Platforms.
9783540748106
10.1007/978-3-540-74810-6 doi
Cryptography. Data encryption (Computer science). Operating systems (Computers). Computer networks . Electronic data processing--Management. Computer science. Compilers (Computer programs). Cryptology. Operating Systems. Computer Communication Networks. IT Operations. Computer Science Logic and Foundations of Programming. Compilers and Interpreters.