This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security， ESORICS 2006， held in Hamburg， Germany， in September 2006.The 32 revised full papers presented were carefully reviewed and selected from 160 submissions. ESORICS is confirmed as the European research event in computer security; it presents original research contributions， case studies and implementation experiences addressing any aspect of computer security - in theory， mechanisms， applications， or practical experience.
作者簡(jiǎn)介
暫缺《計(jì)算機(jī)安全：ESORICS 2006/會(huì)議錄》作者簡(jiǎn)介
圖書(shū)目錄
Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses TrustedPals: Secure Multiparty Computation Implemented with Smart Cards Private Information Retrieval Using Trusted Hardware Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components License Transfer in OMA-DRM Enhanced Security Architecture for Music Distribution on Mobile A Formal Model of Access Control for Mobile Interactive Devices Discretionary Capability Confinement Minimal Threshold Closure Reducing the Dependence of SPKI/SDSI on PKI Delegation in Role-Based Access Control Applying a Security Requirements Engineering Process Modeling and Evaluating the Survivability of an Intrusion Tolerant Database System A Formal Framework for Confidentiality-Preserving Refinement Timing-Sensitive Information Flow Analysis for Synchronous Systems HBAC: A Model for History-Based Access Control and Its Model Checking From Coupling Relations to Mated Invariants for Checking Information Flow A Linear Logic of Authorization and Knowledge Pret a Voter with Re-encryption Mixes Secure Key-Updating for Lazy Revocation Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos Deriving Secrecy in Key Establishment Protocols …… Author Index
鄂公網(wǎng)安備 42010302001612號(hào) 