LEADER 04867nam 22007935 450 001 996465754303316 005 20200704084155.0 010 $a3-642-41227-0 024 7 $a10.1007/978-3-642-41227-1 035 $a(CKB)3710000000024404 035 $a(SSID)ssj0001049596 035 $a(PQKBManifestationID)11661890 035 $a(PQKBTitleCode)TC0001049596 035 $a(PQKBWorkID)11018634 035 $a(PQKB)10917883 035 $a(DE-He213)978-3-642-41227-1 035 $a(MiAaPQ)EBC3093015 035 $a(PPN)176115870 035 $a(EXLCZ)993710000000024404 100 $a20131015d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProvable Security$b[electronic resource] $e7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings /$fedited by Willy Susilo, Reza Reyhanitabar 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 347 p. 36 illus.) 225 1 $aSecurity and Cryptology ;$v8209 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-41226-2 327 $aOn 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. 330 $aThis book constitutes the refereed proceedings of the 7th International Conference on Provable Security, ProvSec 2013, held in Melaka, Malaysia, in October 2013. The 18 full papers presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover the following topics: key exchange protocols, security models, signature and signcryption schemes, authenticated encryption, theory, and public key encryption. 410 0$aSecurity and Cryptology ;$v8209 606 $aData encryption (Computer science) 606 $aComputer security 606 $aComputers and civilization 606 $aE-commerce 606 $aApplication software 606 $aComputer science 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $ae-Commerce/e-business$3https://scigraph.springernature.com/ontologies/product-market-codes/I26000 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 615 0$aData encryption (Computer science). 615 0$aComputer security. 615 0$aComputers and civilization. 615 0$aE-commerce. 615 0$aApplication software. 615 0$aComputer science. 615 14$aCryptology. 615 24$aSystems and Data Security. 615 24$aComputers and Society. 615 24$ae-Commerce/e-business. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aComputer Science, general. 676 $a005.8 702 $aSusilo$b Willy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReyhanitabar$b Reza$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465754303316 996 $aProvable Security$9772128 997 $aUNISA