default search action

combined dblp search
author search
venue search
publication search

ask others

8th CSFW 1995: 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/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/1995
The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland. IEEE Computer Society 1995, ISBN 0-8186-7033-9

Composition

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ZakinthinosL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ZakinthinosL95
Aris Zakinthinos, E. Stewart Lee:
The composability of non-interference [system security]. 2-8
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/RoscoeW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/RoscoeW95
A. W. Roscoe, Lars Wulf:
Composing and decomposing systems under security properties. 9-15
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Maneki95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Maneki95
Alfred P. Maneki:
Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. 16-

Authentication Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Gong95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Gong95
Li Gong:
Optimal authentication protocols resistant to password guessing attacks. 24-29
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ChenGM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ChenGM95
Liqun Chen, Dieter Gollmann, Chris J. Mitchell:
Key distribution without individual trusted authentification servers. 30-

Analysis of Cryptographic Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Boyd95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Boyd95
Colin Boyd:
Towards a classification of key agreement protocols. 38-43
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Mao95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Mao95
Wenbo Mao:
An augmentation of BAN-like logics. 44-

Issues in Implementations

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FocardiGP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FocardiGP95
Riccardo Focardi, Roberto Gorrieri, V. Panini:
The security checker: a semantics-based tool for the verification of security properties. 60-69
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JaegerP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JaegerP95
Trent Jaeger, Atul Prakash:
Implementation of a discretionary access control model for script-based systems. 70-84
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JaneriDS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JaneriDS95
John V. A. Janeri, Daylan B. Darby, Daniel D. Schnackenberg:
Building higher resolution synthetic clocks for signaling in covert timing channels. 85-

Models of Cryptographic Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Roscoe95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Roscoe95
A. W. Roscoe:
Modelling and verifying key-exchange protocols using CSP and FDR. 98-107
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GrayM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GrayM95
James W. Gray III, John McLean:
Using temporal logic to specify and verify cryptographic protocols. 108-

Secure Systems

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KangK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KangK95
Iwen E. Kang, Thomas F. Keefe:
Concurrency control for federated multilevel secure database systems. 118-135
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FoleyJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FoleyJ95
Simon N. Foley, Jeremy Jacob:
Specifying security for CSCW systems. 136-

Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/SyversonG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/SyversonG95
Paul F. Syverson, James W. Gray III:
The epistemic representation of information flow security in probabilistic systems. 152-166
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BevierCY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BevierCY95
William R. Bevier, Richard M. Cohen, William D. Young:
Connection policies and controlled interference. 167-176

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.