IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Computer Security Foundations ...

Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE

Date 30-30 June 1999

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

You have selected:

Title History

Proceedings of the 12th IEEE Computer Security Foundations Workshop

Index of authors

Mixed strand spaces

Process algebra and non-interference

I/O automaton models and proofs for shared-key communication systems

A formal framework and evaluation method for network denial of service

Authentication via localized names

Safe simplifying transformations for security protocols or not just the Needham Schroeder pubic key protocol

Security function interactions

A logic for SDSI's linked local name spaces: preliminary version

A meta-notation for protocol analysis

Athena: a new efficient automatic checker for security protocol analysis

Formalization and proof of secrecy properties

What is intransitive noninterference?

A logic-based knowledge representation for authorization with delegation

CVS: a compiler for the analysis of cryptographic protocols

Honest functions and their application to the analysis of cryptographic protocols

A logical framework for reasoning on data access control policies

Secure composition of insecure components

Decision procedures for the analysis of cryptographic protocols by logics of belief

Trusted system construction

Aims & Scope

Further Links

IEEE Account

Purchase Details

Profile Information

Need Help?