The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

9th IEEE Computer Security Foundations Workshop

Entry type

proceedings

Abstract

Session 1: Protocols Session 2: Protocol Specification Session 3: Protocol Analysis Tools Panel 1: E-Commerce Challenge Session 4: Composition Session 5: Security Policies Session 6: Access Control Panel 2: A Genealogy of Non-Interference Session 7: Attacks Panel 3: What is an Attack on a Cryptographic Protocol?

Date

1996

Key alpha

ieee

Note

June 10-12, 1996 Dromquinna Manor, Kenmare, County Kerry, Ireland

Publisher

IEEE Computer Society Press

Publication Date

1996-01-01

Isbn

0-8186-7522-5

Issn

1063-6900

Language

English

Location

A hard-copy of this is in the CERIAS Library

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.