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, 2001. Proceedings. 14th 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, 2001. Proceedings. 14th IEEE

Date 11-13 June 2001

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings 14th lEEE Computer Security Foundations Workshop [front matter]

Author index

A logical reconstruction of SPKI

Revocations -a classification

A compositional logic for protocol correctness

Robust declassification

Confined mobile functions

Markov chains, classifiers, and intrusion detection

A security analysis of the cliques protocols suites

Log auditing through model-checking

Proving secrecy is easy enough

A new type system for secure information flow

Authenticity by typing for security protocols

Privacy-preserving cooperative scientific computations

A state-transition model of trust management and access control

Confidentiality-preserving refinement

Non-interference, who needs it?

Noninterference equations for nondeterministic systems

Multi-phase damage confinement in database systems for intrusion tolerance

An efficient cryptographic protocol verifier based on prolog rules

Relating cryptography and cryptographic protocols

A generic approach to the security of multi-threaded programs

Computing symbolic models for verifying cryptographic protocols

Logical relations for encryption

Protocol insecurity with finite number of sessions is NP-complete

IEEE Account

Purchase Details

Profile Information

Need Help?