Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Principles of Security and Trust: Principles of Security and Trust

Parte de: Security and Cryptology

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

security analysis; cryptography; privacy; world wide web; semantics; programming languages; formal specification; program compilers; specifications; formal logic; computer science; separation logic; formal methods; data privacy; security systems; software engineering; computer software selection and evaluation; internet; verification; authentication