Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings

This 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 f...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Susilo Willy (Directeur de publication), Reyhanitabar Reza (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings / edited by Willy Susilo, Reza Reyhanitabar.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2013
Cham : Springer Nature
Collection : Security and Cryptology ; 8209
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Note sur l'URL : Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Condition d'utilisation et de reproduction : Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017
Sujets :
Documents associés : Autre format: Provable Security
Autre format: Provable Security
LEADER 04840clm a2200733 4500
001 PPN176115870
003 http://www.sudoc.fr/176115870
005 20241001155500.0
010 |a 978-3-642-41227-1 
017 7 0 |a 10.1007/978-3-642-41227-1  |2 DOI 
035 |a (OCoLC)870330539 
035 |a Springer978-3-642-41227-1 
035 |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-41227-1 
035 |a Springer-11645-978-3-642-41227-1 
100 |a 20140205d2013 u u0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
105 |a y z 100yy 
106 |a s 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Provable Security  |e 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings  |f edited by Willy Susilo, Reza Reyhanitabar. 
214 0 |a Berlin, Heidelberg  |c Springer Berlin Heidelberg 
214 2 |a Cham  |c Springer Nature  |d 2013 
225 0 |a Security and Cryptology  |x 2946-1863  |v 8209 
330 |a This 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. 
359 1 |a 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. 
371 0 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
371 0 |a Accès soumis à abonnement pour tout autre établissement 
371 1 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales  |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
410 | |t Security and Cryptology  |x 2946-1863  |v 8209 
452 | |t Provable Security  |y 9783642412264 
452 | |t Provable Security  |b Texte imprimé  |y 9783642412288 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
610 2 |a Data Encryption 
610 2 |a Systems and Data Security 
610 2 |a e-Commerce  |a e-business 
610 2 |a Computer Appl. in Administrative Data Processing 
610 2 |a Computer Science, general 
610 1 |a Computer Science 
610 2 |a Computers and Society 
610 1 |a Cryptology. 
610 2 |a e-Commerce and e-Business 
610 2 |a Computer Application in Administrative Data Processing 
610 2 |a Data and Information Security 
615 |a @Computer Science  |n 11645  |2 Springer 
676 |a 005.82  |v 23 
680 |a QA76.9.A25 
700 1 |3 PPN268535639  |a Susilo  |b Willy  |4 651 
701 1 |a Reyhanitabar  |b Reza  |4 651 
801 3 |a FR  |b Abes  |c 20240814  |g AFNOR 
801 1 |a DE  |b Springer  |c 20240603  |g AACR2 
856 4 |q PDF  |u https://doi.org/10.1007/978-3-642-41227-1  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PT8TXMD0-9  |z Accès sur la plateforme Istex 
856 4 |5 441099901:830862307  |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-41227-1 
915 |5 441099901:830862307  |b SPRING13-01198 
930 |5 441099901:830862307  |b 441099901  |j g 
991 |5 441099901:830862307  |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 
997 |a NUM  |b SPRING13-01198  |d NUMpivo  |e EM  |s d 
998 |a 979105