计算机安全

出版时间：2006-12  出版社：湖南文艺出版社  作者：Gollmann, Dieter; Meier, Jan; Sabelfeld, Andrei  页数：548  

内容概要

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.

书籍目录

Finding Peer-to-Peer File-Sharing Using Coarse Network BehaviorsTiming Analysis in Low-Latency Mix Networks: Attacks and DefensesTrustedPals: Secure Multiparty Computation Implemented with Smart CardsPrivate Information Retrieval Using Trusted HardwareBridging the Gap Between Inter-communication Boundary and Internal Trusted ComponentsLicense Transfer in OMA-DRMEnhanced Security Architecture for Music Distribution on MobileA Formal Model of Access Control for Mobile Interactive DevicesDiscretionary Capability ConfinementMinimal Threshold ClosureReducing the Dependence of SPKI/SDSI on PKIDelegation in Role-Based Access ControlApplying a Security Requirements Engineering ProcessModeling and Evaluating the Survivability of an Intrusion Tolerant Database SystemA Formal Framework for Confidentiality-Preserving RefinementTiming-Sensitive Information Flow Analysis for Synchronous SystemsHBAC: A Model for History-Based Access Control and Its Model CheckingFrom Coupling Relations to Mated Invariants for Checking Information FlowA Linear Logic of Authorization and KnowledgePret a Voter with Re-encryption MixesSecure Key-Updating for Lazy RevocationKey Derivation Algorithms for Monotone Access Structures in Cryptographic File SystemsCryptographically Sound Security Proofs for Basic and Public-Key KerberosDeriving Secrecy in Key Establishment Protocols……Author Index