allgemeine Informatikbücher - englischsprachig  (13.790 Angebote unter 28.209.875 Artikeln)

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

A Guideline and Toolbox for Successful Projects

17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023, Proceedings

15th International Conference, ProvSec 2021, Guangzhou, China, November 5-8, 2021, Proceedings

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theor...

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

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

How to draw plausible conclusions from uncertain and conflicting sources of evidence is one of the major intellectual challenges of Artificial Intelligence. It is a prerequisite of the smart techno...

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

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

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

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 Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers a...

Protocols for authentication and key establishment are the foundation for security of communications. The range and diversity of these protocols is immense, while the properties and vulnerabilities...

Provenance is a well understood concept in the study of ?ne art, where it refers to the documented history of an art object. Given that documented history, the objectattains anauthority that allows...