default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > CSFW

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/csfw/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/1996
Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland. IEEE Computer Society 1996, ISBN 0-8186-7522-5

Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Boyd96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Boyd96
Colin Boyd:
A Class of Flexible and Efficient Key Management Protocols. 2-8
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MalkiR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MalkiR96
Dalia Malki, Michael K. Reiter:
A High-Throughput Secure Reliable Multicast Protocol. 9-17
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Dhaeseleer96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Dhaeseleer96
Patrik D'haeseleer:
An Immunological Approach to Change Detection: Theoretical Results. 18-

Protocol Specification

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Roscoe96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Roscoe96
A. W. Roscoe:
Intensional specifications of security protocols. 28-38
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MillenK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MillenK96
Jonathan K. Millen, Hai-Ping Ko:
Narrowing terminates for encryption. 39-

Protocol Analysis Tools

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows96
Catherine Meadows:
Language generation and verification in the NRL protocol analyzer. 48-61
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Brackin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Brackin96
Stephen H. Brackin:
A HOL extension of GNY for automatically analyzing cryptographic protocols. 62-

E-Commerce Challenge

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Zaba96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Zaba96
Stefek Zaba:
E-Commerce Payment Protocols: Requirements and Analysis. 78-

Composition

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/PeriWK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/PeriWK96
Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle:
A Logic of Composition for Information Flow Predicates. 82-94
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ZakinthinosL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ZakinthinosL96
Aris Zakinthinos, E. Stewart Lee:
How and why feedback composition fails [secure systems]. 95-101
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Sinclair96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Sinclair96
Jane E. Sinclair:
Action Systems for Security Specification. 102-

Security Policies

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Focardi96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Focardi96
Riccardo Focardi:
Comparing Two Information Flow Security Properties. 116-122
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CuppensS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CuppensS96
Frédéric Cuppens, Claire Saurel:
Specifying a security policy: a case study. 123-

Access Control

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GiuriI96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GiuriI96
Luigi Giuri, Pietro Iglio:
A Formal Model for Role-Based Access Control with Constraints. 136-145
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Spalka96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Spalka96
Adrian Spalka:
The non-primitiveness of the simple-security property and its non-applicability to relational databases. 146-

Genealogy of Non-Interference

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Ryan96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Ryan96
Peter Ryan:
A Genealogy of Non-Interference. 158-

Attacks

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Lowe96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Lowe96
Gavin Lowe:
Some new attacks upon security protocols. 162-169
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Desmedt96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Desmedt96
Yvo Desmedt:
Simmons' protocol is not free of subliminal channels. 170-175
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/McDermottG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/McDermottG96
John P. McDermott, David M. Goldschlag:
Towards a model of storage jamming. 176-

What is an Attack on a Cryptographic Protocol?

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Syverson96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Syverson96
Paul F. Syverson:
What is an Attack on a Cryptographic Protocal? 188

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.