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
Protocol Analysis Tools
- Catherine Meadows:
Language generation and verification in the NRL protocol analyzer.
- Stephen H. Brackin:
A HOL extension of GNY for automatically analyzing cryptographic protocols.
- Stefek Zaba:
E-Commerce Payment Protocols: Requirements and Analysis.
- Luigi Giuri, Pietro Iglio:
A Formal Model for Role-Based Access Control with Constraints.
- Adrian Spalka:
The non-primitiveness of the simple-security property and its non-applicability to relational databases.
Genealogy of Non-Interference
What is an Attack on a Cryptographic Protocol?
Last update Sat May 18 02:40:05 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page