Principles of Security and Trust
Springer Berlin (Verlag)
978-3-662-46665-0 (ISBN)
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.
Erscheint lt. Verlag | 8.4.2015 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Security and Cryptology |
Zusatzinfo | XII, 365 p. 56 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 581 g |
Themenwelt | Informatik ► Netzwerke ► Sicherheit / Firewall |
Schlagworte | Access Control • anonymity • Applications • authentication • Availability • Cloud Security • Computer Science • conference proceedings • confidentiality • Crypto Foundations • formal security models • Informatics • information flow • Languages For Security • malicious code • Models and Policies • privacy • Provenance • reputation and trust • Research • risk assessment • security architectures • security protocols • trust management • web security |
ISBN-10 | 3-662-46665-1 / 3662466651 |
ISBN-13 | 978-3-662-46665-0 / 9783662466650 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich