Flemming Nielson,
David Sands
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
Paperback Engels 2019 9783030171377
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783030171377
Taal:Engels
Bindwijze:paperback
Aantal pagina's:350
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>Foundations for parallel information ow control runtime systems.- A Formal Analysis of Timing Channel Security via Bucketing.- A Dependently Typed Library for Static Information-Flow Control in Idris.- Achieving Safety Incrementally with Checked C.- Wys*: A DSL for Verified Secure Multi-party Computations.- Generalised Differential Privacy for Text Document Processing.- Symbolic verification of distance bounding protocols.- On the formalisation of Ʃ-Protocols and Commitment Schemes.- Orchestrating Layered Attestations.- Verifying liquidity of Bitcoin contracts.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan