You have Guest access.
Log In
Michael Backes and Peng Ning
Front matter
1-18
Learning More about the Underground Economy: A Case-Study of Keyloggers and Dropzones
19-36
User-Centric Handling of Identity Agent Compromise
37-52
The Coremelt Attack
53-68
Type-Based Analysis of PIN Processing APIs
69-85
Declassification with Explicit Reference Points
86-103
Tracking Information Flow in Dynamic Tree Structures
104-119
Lightweight Opportunistic Tunneling (LOT)
120-135
Hide and Seek in Time — Robust Covert Timing Channels
136-151
Authentic Time-Stamps for Archival Storage
152-167
Towards a Theory of Accountability and Audit
168-183
Reliable Evidence: Auditability by Typing
184-199
PCAL: Language Support for Proof-Carrying Authorization Systems
200-215
ReFormat: Automatic Reverse Engineering of Encrypted Messages
216-231
Protocol Normalization Using Attribute Grammars
232-249
Automatically Generating Models for Botnet Detection
250-267
Dynamic Enforcement of Abstract Separation of Duty Constraints
268-284
Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging
285-302
Requirements and Protocols for Inference-Proof Interactions in Information Systems
303-320
A Privacy Preservation Model for Facebook-Style Social Network Systems
321-336
New Privacy Results on Synchronized RFID Authentication Protocols against Tag Tracing
337-354
Secure Pseudonymous Channels
355-370
Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing
371-389
Content Delivery Networks: Protection or Threat?
390-405
Model-Checking DoS Amplification for VoIP Session Initiation
406-423
The Wisdom of Crowds: Attacks and Optimal Constructions
424-439
Secure Evaluation of Private Linear Branching Programs with Medical Applications
440-455
Keep a Few: Outsourcing Data While Maintaining Confidentiality
456-471
Data Structures with Unpredictable Timing
472-488
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
489-504
Corruption-Localizing Hashing
505-522
Isolating JavaScript with Filters, Rewriting, and Wrappers
523-538
An Effective Method for Combating Malicious Scripts Clickbots
539-554
Client-Side Detection of XSS Worms by Monitoring Payload Propagation
555-570
Formal Indistinguishability Extended to the Random Oracle Model
571-586
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
587-604
Attribute-Sets: A Practically Motivated Enhancement to Attribute-Based Encryption
605-620
A Generic Security API for Symmetric Key Management on Cryptographic Devices
621-636
ID-Based Secure Distance Bounding and Localization
637-654
Secure Ownership and Ownership Transfer in RFID Systems
655-670
Cumulative Attestation Kernels for Embedded Systems
671-688
Super-Efficient Aggregating History-Independent Persistent Authenticated Dictionaries
689-704
Set Covering Problems in Role-Based Access Control
Back matter
This page requires script.
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