Informatik (15 755 Artikel)

Protocols for Authentication and Key Establishment

This conference in Enschede, The Netherlands, is the sixth in a series of international conferences and workshops under the title Protocols for Multimedia Systems, abbreviated as PROMS. The first P...

Joshua's most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several "symbolic approac...

Prototyping is an approach used in evolutionary system development. In this book, the authors show which forms of prototyping can be employed to tackle which problems. They take a look at the tools...

This book is intended for anyone who plans, designs and implements software systems, for anyone who is involved with quality assurance, and hence for anyone who is interested in the practicability ...

This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019.  The 18 full and 6 short pap...

This book constitutes the refereed proceedings of the 8th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 20 full papers and 7 short pape...

9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings

10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings

11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec 2008, held in Shanghai, China, October 30 - November 1, 2008. The 25 revised full...

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 a...

This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invi...

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 togeth...

This book constitutes the refereed proceedings of the 12 International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018.  The 21 full and 4 short papers pre...