Principles of Security and Trust  4th 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 /  [electronic resource] : 
edited by Riccardo Focardi, Andrew Myers. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2015. 
 - 1 online resource (XII, 365 p. 56 ill.) 
 - Lecture Notes in Computer Science,  9036  0302-9743 ; .
<br/><br/>Quantitative 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. 
<br/><br/><label>ISBN: </label>9783662466667 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Computer security.<br/>Data encryption (Computer science).<br/>Algorithms.<br/>Computers and civilization.<br/>Management information systems.