000			04142nam a22006615i 4500
001			978-3-662-46666-7
003			DE-He213
005			20240423125947.0
007			cr nn 008mamaa
008			150330s2015 gw | s |||| 0|eng d
020			_a9783662466667 _9978-3-662-46666-7
024	7		_a10.1007/978-3-662-46666-7 _2doi
050		4	_aQA76.9.A25
072		7	_aUR _2bicssc
072		7	_aUTN _2bicssc
072		7	_aCOM053000 _2bisacsh
072		7	_aUR _2thema
072		7	_aUTN _2thema
082	0	4	_a005.8 _223
245	1	0	_aPrinciples of Security and Trust _h[electronic resource] : _b4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / _cedited by Riccardo Focardi, Andrew Myers.
250			_a1st ed. 2015.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015.
300			_aXII, 365 p. 56 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aSecurity and Cryptology, _x2946-1863 ; _v9036
505	0		_aQuantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges -- IFC Inside: Retrofitting Languages with Dynamic Information Flow Control -- Very Static Enforcement of Dynamic Policies -- The Foundational Cryptography Framework -- On the Flow of Data, Information, and Time -- Pareto Efficient Solutions of Attack-Defence Trees -- Analysis of XACML Policies with SMT -- Automatically Checking Commitment Protocols in ProVerif without False Attacks -- Generalizing Multi-party Contract Signing -- Leakiness is Decidable for Well-Founded Protocols -- Abstractions for Security Protocol Verification -- Automated Backward Analysis of PKCS#11 v2.20 -- A Safe Update Mechanism for Smart Cards -- Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols -- Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques -- Type-Based Verification of Electronic Voting Protocols -- Composing Security Protocols: From Confidentiality to Privacy -- PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law.
520			_aThis book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 17 regular papers presented in this volume were carefully reviewed and selected from 57 submissions. In addition, one invited talk is included. The papers have been organized in topical sections on information flow and security types, risk assessment and security policies, protocols, hardware and physical security and privacy and voting.
650		0	_aData protection.
650		0	_aComputer networks .
650		0	_aCryptography.
650		0	_aData encryption (Computer science).
650		0	_aElectronic data processing _xManagement.
650		0	_aComputers and civilization.
650		0	_aAlgorithms.
650	1	4	_aData and Information Security.
650	2	4	_aComputer Communication Networks.
650	2	4	_aCryptology.
650	2	4	_aIT Operations.
650	2	4	_aComputers and Society.
650	2	4	_aAlgorithms.
700	1		_aFocardi, Riccardo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMyers, Andrew. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783662466650
776	0	8	_iPrinted edition: _z9783662466674
830		0	_aSecurity and Cryptology, _x2946-1863 ; _v9036
856	4	0	_uhttps://doi.org/10.1007/978-3-662-46666-7
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c183535 _d183535