Searching...
Advanced Search
CC
CSF
2008
2008 21st IEEE Computer Security Foundations Symposium
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 21st IEEE Computer Security Foundations Symposium
June 23-June 25
ISBN: 978-0-7695-3182-3
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Title Page iv - Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Preface
(PDF)
pp. viii
ABSTRACT
PDF
Committees
(PDF)
pp. ix-x
ABSTRACT
PDF
Language Based Secure Communication
(Abstract)
Michele Bugliesi
Riccardo Focardi
pp. 3-16
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Refinement Types for Secure Implementations
(Abstract)
Jesper Bengtson
Karthikeyan Bhargavan
C?dric Fournet
Andrew D. Gordon
Sergio Maffeis
pp. 17-32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
(Abstract)
Sruthi Bandhakavi
William Winsborough
Marianne Winslett
pp. 33-47
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Hyperproperties
(Abstract)
Michael R. Clarkson
Fred B. Schneider
pp. 51-65
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Security Decision-Making among Interdependent Organizations
(Abstract)
R. Ann Miura-Ko
Benjamin Yolken
John Mitchell
Nicholas Bambos
pp. 66-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Tractable Enforcement of Declassification Policies
(Abstract)
Gilles Barthe
Salvador Cavadini
Tamara Rezk
pp. 83-97
ABSTRACT
PDF
PURCHASE ARTICLE: $19
End-to-End Enforcement of Erasure and Declassification
(Abstract)
Stephen Chong
Andrew C. Myers
pp. 98-111
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Cryptographically-Sound Protocol-Model Abstractions
(Abstract)
Christoph Sprenger
David Basin
pp. 115-129
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Authorization Logic With Explicit Time
(Abstract)
Henry DeYoung
Deepak Garg
Frank Pfenning
pp. 133-145
ABSTRACT
PDF
PURCHASE ARTICLE: $19
DKAL: Distributed-Knowledge Authorization Language
(Abstract)
Yuri Gurevich
Itay Neeman
pp. 149-162
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis
(Abstract)
Glenn Bruns
Michael Huth
pp. 163-176
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Evidence-Based Audit
(Abstract)
Jeffrey A. Vaughan
Limin Jia
Karl Mazurak
Steve Zdancewic
pp. 177-191
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
(Abstract)
Michael Backes
Catalin Hritcu
Matteo Maffei
pp. 195-209
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Specifying Secure Transport Channels
(Abstract)
Christopher Dilloway
Gavin Lowe
pp. 210-223
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards Producing Formally Checkable Security Proofs, Automatically
(Abstract)
Jean Goubault-Larrecq
pp. 224-238
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Composition of Password-Based Protocols
(Abstract)
St?phanie Delaune
Steve Kremer
Mark Ryan
pp. 239-251
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
(Abstract)
Michael Backes
Dominique Unruh
pp. 255-269
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation
(Abstract)
Ralf K?sters
Max Tuengerthal
pp. 270-284
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Type System for Observational Determinism
(Abstract)
Tachio Terauchi
pp. 287-300
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Information Flow in Systems with Schedulers
(Abstract)
Ron van der Meyden
Chenyi Zhang
pp. 301-312
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Correctness Proof of a Mesh Security Architecture
(Abstract)
Doug Kuhlman
Ryan Moriarty
Tony Braskich
Steve Emeott
Mahesh Tripunitara
pp. 315-330
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Formal Analysis of PKCS#11
(Abstract)
St?phanie Delaune
Steve Kremer
Graham Steel
pp. 331-344
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 345
ABSTRACT
PDF
Roster
(PDF)
pp. 346
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
