Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers...

Full description

Bibliographic Details
Other Authors: Nielson, Flemming (Editor), Sands, David (Editor)
Format: eBook
Published: Springer Nature 2019
Subjects:
Online Access:Get fulltext
LEADER 02024naaaa2200397uu 4500
001 23331
005 20200318
020 |a 978-3-030-17138-4 
024 7 |a 10.1007/978-3-030-17138-4  |c doi 
041 0 |h English 
042 |a dc 
100 1 |a Nielson, Flemming  |e edt 
856 |z Get fulltext  |u http://library.oapen.org/handle/20.500.12657/23331 
700 1 |a Sands, David  |e edt 
700 1 |a Nielson, Flemming  |e oth 
700 1 |a Sands, David  |e oth 
245 1 0 |a Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings 
260 |b Springer Nature  |c 2019 
300 |a 1 electronic resource (249 p.) 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers 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. 
540 |a Creative Commons 
546 |a English 
650 7 |a Information technology: general issues  |2 bicssc 
650 7 |a Software Engineering  |2 bicssc 
650 7 |a Computer security  |2 bicssc 
650 7 |a Computer science  |2 bicssc 
650 7 |a Systems analysis & design  |2 bicssc 
650 7 |a Artificial intelligence  |2 bicssc 
653 |a Computer science 
653 |a Computer security 
653 |a Software engineering 
653 |a Artificial intelligence 
653 |a Computer system failures 
653 |a Computers 
653 |a Computers