Bauer, Lujo <br/><br/>
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings 

 - Cham  Springer Nature  2018 
 - Security and Cryptology  v.10804 .
 - Security and Cryptology  v.10804 .
<br/><br/> Open Access 
<br/><br/> authentication;  computer science;  computer software selection and evaluation;  cryptography;  data privacy;  formal logic;  formal methods;  formal specification;  internet;  privacy;  program compilers;  programming languages;  security analysis;  security systems;  semantics;  separation logic;  software engineering;  specifications;  verification;  world wide web 
<br/><br/><br/>Creative Commons 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9783319897226 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Криптография, безопасность
<br/><br/><label>Subjects--Index Terms: </label>Цифровая безопасность Утечка, информационный поток и протоколы 
<br/><br/><label>Universal Decimal Class. No.: </label>004