Provable Security

ISBN 10: 364204641X / ISBN 13: 9783642046414

Editore: Springer, 2009

Riguardo questo articolo

Print on Demand pp. 288 Illus.

Codice articolo 6504640

Dati bibliografici

• Titolo: Provable Security
• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 364204641X
• ISBN 13: 9783642046414
• Rilegatura: Brossura
• Condizione: New

Descrizione articolo

Riassunto

The third International Conference on Provable Security (ProvSec 2009) was held in Guangzhou, China, November 11-13, 2009. It continued the theme of ProvableSecurity initiated by the ProvSec2007 conference in Wollongong, A- tralia. The second ProvSec conference was organized in Shanghai, China. The conference was sponsored by the Center for Advanced Computing Cryptog- phy and Algorithms (ACAC), Macquarie University, Australia; Guangdong Key Laboratory of Information Security Technology, Sun Yat-sen University, China; andthe NationalNaturalScienceFoundationofChina (NSFC).JiwuHuangwas the General Chair and we, Josef Pieprzyk and Fangguo Zhang, were Program Co-chairs. The conference proceedings have been published by Springer in this volume of Lecture Notes in Computer Science. The Program Committee invited two distinguished researchers to deliver their keynote talks. The ?rst speaker was Alex Dent from Royal Holloway, University of London. His talk was entitled A Brief History of Security Models for Con?dentiality . The second speaker was Bogdan Warinschi from the University of Bristol, UK, who presented a talk on Symbolic Methods for Provable Security . We received 64 papers. Each paper was assigned to three referees. Papers submitted by the members of the Program Committee were assigned to ?ve referees. In the ?rst stage of the review process, the submitted papers were readand evaluated bythe PCmembers and then in the secondstage,the papers werescrutinizedduringanextensivediscussion.Finally,theProgramCommittee chose 19 papers to be included in the conference program. The authors of the accepted papers had three weeks for revision and preparation of ?nal versions.

Dalla quarta di copertina

This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009.

The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.