國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Principles of Security and Trust/ edited by Flemming Nielson, David Sands.
Reminder of title:	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 /
other author:	Nielson, Flemming.
Description:	XI, 249 p. 2896 illus., 22 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer security. -
Online resource:	https://doi.org/10.1007/978-3-030-17138-4
ISBN:	9783030171384

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 /
Principles of Security and Trust8th 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 /[electronic resource] :edited by Flemming Nielson, David Sands. - 1st ed. 2019. - XI, 249 p. 2896 illus., 22 illus. in color.online resource. - Security and Cryptology ;11426. - Security and Cryptology ;9241.

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.

Open Access

This book is Open Access under a CC BY licence.

ISBN: 9783030171384

Standard No.: 10.1007/978-3-030-17138-4doiSubjects--Topical Terms:

557122
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

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 /
LDR:02269nam a22004455i 4500 001 1009464
003 DE-He213
005 20200701114338.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030171384 $9 978-3-030-17138-4
024 7 $a 10.1007/978-3-030-17138-4 $2 doi
035 $a 978-3-030-17138-4
050 4 $a QA76.9.A25
072 7 $a UR $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
072 7 $a UTN $2 thema
082 0 4 $a 005.8 $2 23
245 1 0 $a Principles of Security and Trust $h [electronic resource] : $b 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 / $c edited by Flemming Nielson, David Sands.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XI, 249 p. 2896 illus., 22 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Security and Cryptology ; $v 11426
505 0 $a 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.
506 0 $a Open Access
520 $a This book is Open Access under a CC BY licence.
650 0 $a Computer security. $3 557122
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer system failures. $3 782237
650 0 $a Computers. $3 565115
650 1 4 $a Systems and Data Security. $3 677062
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a System Performance and Evaluation. $3 669346
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Theory of Computation. $3 669322
700 1 $a Nielson, Flemming. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 897894
700 1 $a Sands, David. $e editor. $1 https://orcid.org/0000-0001-6221-0503 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1303400
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030171377
776 0 8 $i Printed edition: $z 9783030171391
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-030-17138-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
912 $a ZDB-2-SOB
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)