Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5324)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): ProvSec: International Conference on Provable Security
Conference proceedings info: ProvSec 2008.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (25 papers)
-
Front Matter
-
Encryption
-
Signature
-
Analysis
-
Universal Composability
About this book
Keywords
- Permutation
- Symbol
- calculus
- cryptanalysis
- damgard
- diffie-hellman
- merkle
- pgp
- pseudorandom
- public key
- signcryption
- symbolic analysis
- tls
Editors and Affiliations
-
Cryptography and Security Department Institute for Infocomm Research, Singapore
Joonsang Baek
-
Institute for Infocomm Research, Singapore
Feng Bao
-
Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China
Kefei Chen, Xuejia Lai
Bibliographic Information
Book Title: Provable Security
Book Subtitle: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Editors: Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-88733-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-88732-4Published: 09 October 2008
eBook ISBN: 978-3-540-88733-1Published: 17 October 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 361
Topics: Cryptology, Mathematics of Computing, Data and Information Security, Coding and Information Theory, Theory of Computation, Formal Languages and Automata Theory