Text

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 volume contains the papers presented a t POST 2019, the 8th Conference on Principles of Security and Trust, held April 11, 2019, in Prague, Czech Republic, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust, and thus welcomes papers of many kinds: new theoretical results, practical applications of existing foundational ideas , and innovative approaches stimulated by pressing practical problems; as well as systemization-of-knowledge papers, papers describing tools, and position papers.

POST was created in 2012 to combine and replace a number o f successful and long- standing workshops in this area: Automated Reasoning and Security Protocol Analysis (ARSPA), Formal Aspects of Security and Trust (FAST), Security in Concurrency (SecCo), and the Workshop on Issues in the Theory of Security (WITS). A subset of these events met jointly as an event affiliated with ETAPS 2011 under the name “ Theory of Security and Applications” (TOSCA). There were 27 submissions to POST 2019. Each submission was reviewed by at
least three Program Committee members, who in some cases solicit ed the help of outside experts to review the papers. W e employed a double -blind reviewing process with a rebuttal phase. Electronic discussion was used to decide which papers to select for the program. The commit tee decide d to accept ten papers (37%) . The papers are organized in topi cal sections named : Covert Channels and Information Flow; Privacy and Protocols; Distributed Systems.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.8 PRI p

Publisher

Cham, Switzerland : Springer Open., 2019

Collation

ix, 248p. : ill.

Language

English

ISBN/ISSN

9783030171384

Classification

005.8

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

Artificial intelligence
Information theory
Computer Science
Computer security
Software engineering
Data encryption (Computer science)
Cryptography

Specific Detail Info

-

Statement of Responsibility

edited by Flemming Nielson and David Sands

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment