Proving a WS-Federation Passive Requestor Profile
Unification in Privacy Policy Evaluation -- Translating EPAL to Prolog
Advances in Cryptology --- EUROCRYPT 2004
Unidentifiability and Accountability in Electronic Transactions
This ontology contains information detailing publications held by IBM Research GmbH
Publication export from IBM Research GmbH
A Cryptographic Framework for the Controlled Release Of Certified Data
Security in Communication Networks, Forth International Conference, SCN 2004
How to Break and Repair a Universally Composable Signature Functionality
A General Composition Theorem for Secure Reactive Systems
3rd International Workshop on Privacy Enhancing Technologies (PET 2003)
7th Information Security Conference (ISC)
Efficient Blind Signatures without Random Oracles
Group Signatures: Better Efficiency and New Theoretical Aspects
Privacy in Enterprise Identity Federation -- Policies for Liberty 2 Single Signon
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
11th ACM Conference on Computer and Communicatons Security
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library
Efficient Comparison of Enterprise Privacy Policies
A Risk-Driven Approach to Designing Privacy-Enhanced Secure Applications
Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS)
Abstract interdomain security assertions: A basis for extra-grid virtual organizations
Signature Schemes and Anonymous Credentials from Bilinear Maps
European Symposium on Research in Computer Security --- ESORICS 2004
Computational Probabilistic Non-interference
Better Privacy for Trusted Computing Platforxms
Relating Symbolic and Cryptographic Secrecy
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
Compositional Analysis of Contract Signing Protocols
An Algebra for Composing Enterprise Privacy Policies
5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)
Asynchronous Verifiable Information Dispersal
Proc. 2004 IFIP International Information Security Conference (SEC 2004) --- Embedded Workshop Privacy and Anonymity in Networked and Distributed Systems (I-NetSec'04)
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
IEEE Journal on Selected Areas in Communications
Low-level Ideal Signatures and General Integrity Idealization
Twelfth International Workshop on Security Protocols
Proc. Intl. Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy
Journal of Logic and Algebraic Programming
1st Theory of Cryptography Conference (TCC) 2004
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
International Journal of Information Security
An Information-Theoretic Model for Steganography
Elsevier Information Security Technical Report (ISTR)
Asynchronous Group Key Exchange with Failures
Proc. 23rd ACM Symposium on Principles of Distributed Computing (PODC 2004)
Privacy in Enterprise Identity Federation -- Policies for Liberty Single Signon
17th IEEE Computer Security Foundations Workshop