Principles of Security and Trust
Publication Date: 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
