Provable Security | Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

Fangguo Zhang (u. a.)

ISBN 10: 364204641X / ISBN 13: 9783642046414

Verlag: Springer-Verlag GmbH, 2009

Provable Security | Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings | Fangguo Zhang (u. a.) | Taschenbuch | xii | Englisch | 2009 | Springer-Verlag GmbH | EAN 9783642046414 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 101468923

Inhaltsangabe:

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.

Von der hinteren Coverseite:

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.

Bibliografische Details

Titel: Provable Security | Third International ...
Verlag: Springer-Verlag GmbH
Erscheinungsdatum: 2009
Einband: Taschenbuch
Zustand: Neu