Computer Security — ESORICS 2002
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Computational Probabilistic Non-interference
-
Altmetric BadgeChapter 2 Bit-Slice Auction Circuit
-
Altmetric BadgeChapter 3 Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
-
Altmetric BadgeChapter 4 Cardinality-Based Inference Control in Sum-Only Data Cubes
-
Altmetric BadgeChapter 5 Outbound Authentication for Programmable Secure Coprocessors
-
Altmetric BadgeChapter 6 Hamming Weight Attacks on Cryptographic Hardware — Breaking Masking Defense
-
Altmetric BadgeChapter 7 A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations
-
Altmetric BadgeChapter 8 Authentication for Distributed Web Caches
-
Altmetric BadgeChapter 9 Analysing a Stream Authentication Protocol Using Model Checking
-
Altmetric BadgeChapter 10 Equal To The Task?
-
Altmetric BadgeChapter 11 TINMAN: A Resource Bound Security Checking System for Mobile Code
-
Altmetric BadgeChapter 12 Confidentiality-Preserving Refinement is Compositional — Sometimes
-
Altmetric BadgeChapter 13 Formal Security Analysis with Interacting State Machines
-
Altmetric BadgeChapter 14 Decidability of Safety in Graph-Based Models for Access Control
-
Altmetric BadgeChapter 15 Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones
-
Altmetric BadgeChapter 16 Learning Fingerprints for a Database Intrusion Detection System