Foundations of Security Analysis and Design [electronic resource] : FOSAD 2006/2007 Turtorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Utgåva: 1st ed. 2007Beskrivning: VII, 328 p. online resourceInnehållstyp: - text
- computer
- online resource
- 9783540748106
- Cryptology
- Operating Systems
- Computer Communication Networks
- IT Operations
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- Cryptography
- Data encryption (Computer science)
- Operating systems (Computers)
- Computer networks
- Electronic data processing -- Management
- Computer science
- Compilers (Computer programs)
- 005.824 23
Innehåll:
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.
Inga fysiska exemplar för denna post
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.
Licensed e-book