國立高雄大學圖資館 |

Language: English

Back

Principles of security and trust7th ...

(1998 :)

Principles of security and trust7th 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Principles of security and trustedited by Lujo Bauer, Ralf Kusters.
Reminder of title:	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 /
remainder title:	POST 2018
other author:	Bauer, Lujo.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xiv, 347 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-319-89722-6
ISBN:	9783319897226$q(electronic bk.)

Principles of security and trust7th 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 /
Principles of security and trust7th 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 /[electronic resource] :POST 2018edited by Lujo Bauer, Ralf Kusters. - Cham :Springer International Publishing :2018. - xiv, 347 p. :ill., digital ;24 cm. - Lecture notes in computer science,108040302-9743 ;. - Lecture notes in computer science ;4891..

Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.

Open access.

This book is Open Access under a CC BY licence.

ISBN: 9783319897226$q(electronic bk.)

Standard No.: 10.1007/978-3-319-89722-6doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / P67 2018

Dewey Class. No.: 005.8

Principles of security and trust7th 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 /
LDR:02446nmm a2200373 a 4500 001 537682
003 DE-He213
005 20180413165513.0
006 m d
007 cr nn 008maaau
008 190116s2018 gw s 0 eng d
020 $a 9783319897226$q(electronic bk.)
020 $a 9783319897219$q(paper)
024 7 $a 10.1007/978-3-319-89722-6 $2 doi
035 $a 978-3-319-89722-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b P67 2018
072 7 $a UR $2 bicssc
072 7 $a UTN $2 bicssc
072 7 $a COM053000 $2 bisacsh
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b P857 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Principles of security and trust $h [electronic resource] : $b 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 / $c edited by Lujo Bauer, Ralf Kusters.
246 3 $a POST 2018
246 3 $a ETAPS 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xiv, 347 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10804
505 0 $a Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.
506 $a Open access.
520 $a This book is Open Access under a CC BY licence.
650 0 $a Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Systems and Data Security. $3 274481
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Computing Milieux. $3 275270
650 2 4 $a Data Structures, Cryptology and Information Theory. $3 273993
650 2 4 $a System Performance and Evaluation. $3 273898
700 1 $a Bauer, Lujo. $3 814722
700 1 $a Kusters, Ralf. $3 468747
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-89722-6
950 $a Computer Science (Springer-11645)