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.
QA268
005.824
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.
QA268
005.824