11. CSFW 1998: Rockport, Massachusetts, USA

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 9-11 June, 1998, Rockport, Massachusetts, USA. IEEE Computer Society, 1998, online publication: http: //computer.org/proceedings/csfw/8488/8488toc.htm

Distributed Services

Paul F. Syverson:
Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange. 2-13
Electronic Edition (IEEE Computer Society DL) BibTeX
Tuomas Aura:
On the Structure of Delegation Networks. 14-26
Electronic Edition (IEEE Computer Society DL) BibTeX
Martín Abadi:
Two Facets of Authentication. 27-32
Electronic Edition (IEEE Computer Society DL) BibTeX

Noninterference

Dennis M. Volpano, Geoffrey Smith:
Probabilistic Noninterference in a Concurrent Language. 34-43
Electronic Edition (IEEE Computer Society DL) BibTeX
Fabio Martinelli:
Partial Model Checking and Theorem Proving for Ensuring Security Properties. 44-52
Electronic Edition (IEEE Computer Society DL) BibTeX

Protocol Verification

Steve Schneider:
Formal Analysis of a Non-Repudiation Protocol. 54-65
Electronic Edition (IEEE Computer Society DL) BibTeX
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman:
Honest Ideals on Strand Spaces. 66-77
Electronic Edition (IEEE Computer Society DL) BibTeX

Panel

Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows:
Panel Introduction: Varieties of Authentication. 79-82
Electronic Edition (IEEE Computer Society DL) BibTeX

Protocol Model Checking

A. W. Roscoe:
Proving Security Protocols with Model Checkers by Data Independence Techniques. 84-95
Electronic Edition (IEEE Computer Society DL) BibTeX
Gavin Lowe:
Towards a Completeness Result for Model Checking of Security Protocols. 96-105
Electronic Edition (IEEE Computer Society DL) BibTeX
Vitaly Shmatikov, Ulrich Stern:
Efficient Finite-State Analysis for Large Security Protocols. 106-115
Electronic Edition (IEEE Computer Society DL) BibTeX

Composition

Aris Zakinthinos, E. Stewart Lee:
Composing Secure Systems that have Emergent Properties. 117-122
Electronic Edition (IEEE Computer Society DL) BibTeX
Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère:
Merging Security Policies: Analysis of a Practical Example. 123-136
Electronic Edition (IEEE Computer Society DL) BibTeX

Protocol Logics

Stephen H. Brackin:
Evaluating and Improving Protocol Analysis by Automatic Proof. 138-152
Electronic Edition (IEEE Computer Society DL) BibTeX
Levente Buttyán, Sebastian Staamann, Uwe G. Wilhelm:
A Simple Logic for Authentication Protocol Design. 153-162
Electronic Edition (IEEE Computer Society DL) BibTeX

Panel

Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell:
Panel Introduction: The Security Impact of Distributed Computing Technologies. 164-166
Electronic Edition (IEEE Computer Society DL) BibTeX

Database and Intrusion Detection

Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia:
A Fair Locking Protocol for Multilevel Secure Databases. 168-178
Electronic Edition (IEEE Computer Society DL) BibTeX
Raymond W. Yip, Karl N. Levitt:
Data Level Inference Detection in Database Systems. 179-189
Electronic Edition (IEEE Computer Society DL) BibTeX
Jia-Ling Lin, Xiaoyang Sean Wang, Sushil Jajodia:
Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies. 190-201
Electronic Edition (IEEE Computer Society DL) BibTeX