Book Details


Principles of Security and Trust

Publication year: 2019

ISBN: 978-3-030-17138-4

Internet Resource: Please Login to download book

This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.

Subject: Computer Science, access control, anonymity, artificial intelligence, authentication, crypto foundations, data security, formal logic, formal methods, formal verifications, model checking, privacy, program compilers, programming languages, reputation and trust, semantics, software engineering, software evaluation, trust management, verification, Systems and Data Security, Software Engineering, System Performance and Evaluation, Computing Milieux, Theory of Computation, Programming and Operating Systems