9. CSFW 1996: Dromquinna Manor, Kenmare, County Kerry, Ireland

Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland. IEEE Computer Society 1996

Protocols

Colin Boyd:
A Class of Flexible and Efficient Key Management Protocols. 2-8
Dalia Malki, Michael K. Reiter:
A High-Throughput Secure Reliable Multicast Protocol. 9-17
Patrik D'haeseleer:
An Immunological Approach to Change Detection: Theoretical Results. 18-

Protocol Specification

A. W. Roscoe:
Intensional specifications of security protocols. 28-38
Jonathan K. Millen, Hai-Ping Ko:
Narrowing terminates for encryption. 39-

Protocol Analysis Tools

Catherine Meadows:
Language generation and verification in the NRL protocol analyzer. 48-61
Stephen H. Brackin:
A HOL extension of GNY for automatically analyzing cryptographic protocols. 62-

E-Commerce Challenge

Stefek Zaba:
E-Commerce Payment Protocols: Requirements and Analysis. 78-

Composition

Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle:
A Logic of Composition for Information Flow Predicates. 82-94
Aris Zakinthinos, E. Stewart Lee:
How and why feedback composition fails [secure systems]. 95-101
Jane Sinclair:
Action Systems for Security Specification. 102-

Security Policies

Riccardo Focardi:
Comparing Two Information Flow Security Properties. 116-122
Frédéric Cuppens, Claire Saurel:
Specifying a security policy: a case study. 123-

Access Control

Luigi Giuri, Pietro Iglio:
A Formal Model for Role-Based Access Control with Constraints. 136-145
Adrian Spalka:
The non-primitiveness of the simple-security property and its non-applicability to relational databases. 146-

Genealogy of Non-Interference

Peter Ryan:
A Genealogy of Non-Interference. 158-

Attacks

Gavin Lowe:
Some new attacks upon security protocols. 162-169
Yvo Desmedt:
Simmons' protocol is not free of subliminal channels. 170-175
John P. McDermott, David M. Goldschlag:
Towards a model of storage jamming. 176-

What is an Attack on a Cryptographic Protocol?

Paul F. Syverson:
What is an Attack on a Cryptographic Protocal? 188

Last update Sat May 18 02:40:05 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page