计算机安全 -- ESORICS 2006/会议录 Computer security - ESORICS 2006
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,信息安全,
作者： Eugene Asarin，Dieter Gollmann，Jan Meier 等著
出 版 社： 湖南文艺出版社
出版时间： 2006-12-1字数：版次： 1页数： 548印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540446019包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
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 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
