Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 11 results in range #1 to #11.
- Towards an Information-Theoretic Framework for Analyzing Intrusion Detection Systems: Label: en
- Privacy-Preserving Queries on Encrypted Data: Label: en
- Conditional Reactive Simulatability: Label: en
- Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes: Label: en
- Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos: Label: en
- Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems: Label: en
- Secure Key-Updating for Lazy Revocation: Label: en
- A Linear Logic of Authorization and Knowledge: Label: en
- Timing-Sensitive Information Flow Analysis for Synchronous Systems: Label: en
- Delegation in Role-Based Access Control: Label: en
- Private Information Retrieval Using Trusted Hardware: Label: en
