You have Guest access.
Log In
Dieter Gollmann, Günther Karjoth and Michael Waidner
Front matter
1-23
Computational Probabilistic Non-interference
24-38
Bit-Slice Auction Circuit
39-55
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
55-71
Cardinality-Based Inference Control in Sum-Only Data Cubes
72-89
Outbound Authentication for Programmable Secure Coprocessors
90-103
Hamming Weight Attacks on Cryptographic Hardware — Breaking Masking Defense
104-125
A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations
126-146
Authentication for Distributed Web Caches
146-162
Analysing a Stream Authentication Protocol Using Model Checking
162-177
Equal To The Task?
178-193
TINMAN: A Resource Bound Security Checking System for Mobile Code
194-211
Confidentiality-Preserving Refinement is Compositional — Sometimes
212-229
Formal Security Analysis with Interacting State Machines
229-244
Decidability of Safety in Graph-Based Models for Access Control
244-263
Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones
264-279
Learning Fingerprints for a Database Intrusion Detection System
Back matter
Michael Backes and Birgit Pfitzmann
Kaoru Kurosawa and Wakaha Ogata
Joachim Biskup and Piero Bonatti
Lingyu Wang, Duminda Wijesekera and Sushil Jajodia
Sean W. Smith
Marcin Gomuffłkiewicz and Mirosffław Kutyffłowski
Giles Hogben, Tom Jackson and Marc Wilikens
James Giles, Reiner Sailer, Dinesh Verma and Suresh Chari
Philippa Broadfoot and Gavin Lowe
James Heather and Steve Schneider
Aloysius K. Mok and Weijiang Yu
Thomas Santen, Maritta Heisel and Andreas Pfitzmann
David von Oheimb and Volkmar Lotz
Manuel Koch, Luigi V. Mancini and Francesco Parisi-Presicce
Xinyuan Wang, Douglas S. Reeves and S. Felix Wu
Sin Yeung Lee, Wai Lup Low and Pei Yuen Wong
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info