Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computerized Voting Machines: A View from the Trenches
3. Altmetric Badge
   Chapter 2 XML Access Control with Policy Matching Tree
4. Altmetric Badge
   Chapter 3 Semantic Access Control Model: A Formal Specification
5. Altmetric Badge
   Chapter 4 A Generic XACML Based Declarative Authorization Scheme for Java
6. Altmetric Badge
   Chapter 5 Specification and Validation of Authorisation Constraints Using UML and OCL
7. Altmetric Badge
   Chapter 6 Unified Index for Mobile Object Data and Authorizations
8. Altmetric Badge
   Chapter 7 On Obligations
9. Altmetric Badge
   Chapter 8 Computer Security – ESORICS 2005
10. Altmetric Badge
    Chapter 9 Machine-Checked Security Proofs of Cryptographic Signature Schemes
11. Altmetric Badge
    Chapter 10 Sanitizable Signatures
12. Altmetric Badge
    Chapter 11 Limits of the Cryptographic Realization of Dolev-Yao-Style XOR
13. Altmetric Badge
    Chapter 12 Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
14. Altmetric Badge
    Chapter 13 Augmented Oblivious Polynomial Evaluation Protocol and Its Applications
15. Altmetric Badge
    Chapter 14 Using Attack Trees to Identify Malicious Attacks from Authorized Insiders
16. Altmetric Badge
    Chapter 15 An Efficient and Unified Approach to Correlating, Hypothesizing, and Predicting Intrusion Alerts
17. Altmetric Badge
    Chapter 16 Towards a Theory of Intrusion Detection
18. Altmetric Badge
    Chapter 17 On Scalability and Modularisation in the Modelling of Network Security Systems
19. Altmetric Badge
    Chapter 18 Sybil-Resistant DHT Routing
20. Altmetric Badge
    Chapter 19 Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks
21. Altmetric Badge
    Chapter 20 Quantifying Probabilistic Information Flow in Computational Reactive Systems
22. Altmetric Badge
    Chapter 21 Enforcing Non-safety Security Policies with Program Monitors
23. Altmetric Badge
    Chapter 22 Soundness of Formal Encryption in the Presence of Key-Cycles
24. Altmetric Badge
    Chapter 23 Privacy Preserving Clustering
25. Altmetric Badge
    Chapter 24 Abstractions Preserving Parameter Confidentiality
26. Altmetric Badge
    Chapter 25 Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation
27. Altmetric Badge
    Chapter 26 Security Notions for Disk Encryption
28. Altmetric Badge
    Chapter 27 Local View Attack on Anonymous Communication
29. Altmetric Badge
    Chapter 28 Browser Model for Security Analysis of Browser-Based Protocols