Informatik (14.427 Artikel)

This book presents a comprehensive approach to protecting sensitive information when large data collections are released by their owners. It addresses three key requirements of data privacy: the pr...

Das Buch beschreibt Datenschutz erstmals als Offenheit (Transparenz) statt Datensparsamkeit. Der Autor beschreibt als Voraussetzung dazu einen Besitztitel auf Daten. Die Umsetzung erfolgt über Big ...

Performance of Protocols and Applications.- Optimal Traffic Shaping with Deterministic Guarantees Using GPS Scheduling.- Evaluation of Video Server Capacity with Regard to Quality of the Service in...

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