Provable Security : 7th International Conference, Provsec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings
Overview
On Modeling Terrorist Frauds: Addressing Collusion in Distance Bounding Protocols.- Authenticated Key Exchange Protocols Based on Factoring Assumption.- Efficient, Pairing-Free, Authenticated Identity Based Key Agreement in a Single Round.- CIL Security Proof for a Password-Based Key Exchange.- Non Observability in the Random Oracle Model.- Indistinguishability against Chosen Ciphertext Verification Attack Revisited: The Complete Picture.- Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges.- Towards Anonymous Ciphertext Indistinguishability with Identity Leakage.- k-Time Proxy Signature: Formal Definition and Efficient Construction.- Anonymous Signcryption against Linear Related-Key Attacks.- Improved Authenticity Bound of EAX, and Refinements.- The Security of the OCB Mode of Operation without the SPRP Assumption.- A Short Universal Hash Function from Bit Rotation, and Applications to Blockcipher Modes.- How to Remove the Exponent GCD in HK09.- Translation-Randomizable Distributions via Random Walks.- RKA Secure PKE Based on the DDH and HR Assumptions.- Computationally Efficient Dual-Policy Attribute Based Encryption with Short Ciphertext.- Factoring-Based Proxy Re-Encryption Schemes.- Towards a Secure Certificateless Proxy Re-Encryption Scheme.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783642412264
- ISBN-10: 3642412262
- Publisher: Springer
- Publish Date: September 2013
- Dimensions: 9.21 x 6.14 x 0.75 inches
- Shipping Weight: 1.11 pounds
- Page Count: 347
Related Categories
