cam a22 5 4500 317159194 CHVBK 20201018165205.0 m d cr |n |||||||| 140625s2014 gw |||| s 0 0|eng d 978-3-642-54792-8 978-3-642-54791-1 (print) 10.1007/978-3-642-54792-8 doi (SERSOL)ssj0001187446 (NEBIS)010157894 (IDSSG)000655710 (WaSeSS)ssj0001187446 WaSeSS QA76.9.A25 UR bicssc UTN bicssc COM053000 bisacsh 005.8 23 DEAGI3E6E489F7378389FC1257FCD004A3ADF iCapture Abadi Martín editor Principles of Security and Trust [Elektronische Daten] Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings edited by Martín Abadi, Steve Kremer Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2014 1 online resource (XVIII, 307 p. 48 illus.) online resource text file PDF rda Lecture Notes in Computer Science 0302-9743 8414 A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems -- Stateful Applied Pi Calculus -- Computational Soundness Results for ProVerif: Bridging the Gap from Trace Properties to Uniformity -- A Secure Key Management Interface with Asymmetric Cryptography -- Quantitative Aspects of Information Flow Abstract Channels and Their Robust Information-Leakage Ordering -- Quantitative Information Flow in Boolean Programs -- When Not All Bits Are Equal: Worth-Based Information Flow -- Leakage Resilience against Concurrent Cache Attacks -- Information Flow Control in WebKit's JavaScript Bytecode -- A Separation Logic for Enforcing Declarative Information Flow Control Policies -- Defining and Enforcing Referential Security -- Extending and Applying a Framework for the Cryptographic Verification of Java Programs -- Compiling CAO: From Cryptographic Specifications to C Implementations -- Decentralized Composite Access Control -- Temporal Logics for Hyperproperties -- Time-Dependent Analysis of Attacks. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume were carefully reviewed and selected from 55 submissions. They are organized in topical sections named: analysis of cryptographic protocols; quantitative aspects of information flow; information flow control in programming languages; cryptography in implementations and policies and attacks. DATENSCHUTZ (STRAFRECHT) ger (ETHUDK)000011256 ethudk DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME) ger (ETHUDK)000034698 ethudk ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger (ETHUDK)000013749 ethudk Computer science Computer Communication Networks Data protection Data encryption (Computer science) Computer software Information Systems Online-Ressource gnd-carrier Konferenzschrift Grenoble 2014 gnd-content u ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger 004*04*04*05*02 nebis E1 u DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME) ger 004*04*06*06 nebis E1 u DATENSCHUTZ (STRAFRECHT) ger 343.45*2 nebis E1 u FIABILITÉ DU LOGICIEL (GÉNIE LOGICIEL) fre 004*04*04*05*02 nebis E1 u RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING) eng 004*04*04*05*02 nebis E1 u SÉCURITÉ ET PROTECTION DES DONNÉES (SYSTÈMES D'EXPLOITATION) fre 004*04*06*06 nebis E1 u DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS) eng 004*04*06*06 nebis E1 u PROTECTION DES DONNÉES (DROIT PÉNAL) fre 343.45*2 nebis E1 u DATA PROTECTION + SAFEGUARDING OF DATA (CRIMINAL LAW) eng 343.45*2 nebis E1 Kremer Steve editor SpringerLink (Online service) Printed edition 9783642547911 https://link.springer.com/10.1007/978-3-642-54792-8 Uni Basel: Volltext https://link.springer.com/openurl?genre=book&isbn=978-3-642-54791-1 Uni Bern: Volltext BK020853 XK020053 XK020000 BK020053 XK020053 XK020000 Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates SpringerLINK Lecture Notes in Computer Science Contemporary (1997-2014) EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER noalma ids I 094 E01-20140818 095 E01-20140818 UPHZHEBO UPHZH-201606 Kongress = Congrès 2014 Grenoble NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655710 IDSBB A145 A145 145VT IDSBB B405 B405 405VT IDSBB 100 1- Abadi Martín editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8414 IDSBB 700 1- Kremer Steve editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783642547911 IDSBB 856 40 https://link.springer.com/10.1007/978-3-642-54792-8 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-642-54791-1 Uni Bern: Volltext NEBIS 490 -- Lecture notes in computer science Advanced research in computing and software science (ARCoSS) 8414 NEBIS 700 1- Abadi Martín NEBIS 711 2- Conference on Principles of Security and Trust (DE-588)1092461353 NEBIS 711 2- European Joint Conferences on Theory and Practice of Software (DE-588)1092051732 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783642547911 Online via SFX Volltext IDSSG 490 0- Lecture Notes in Computer Science 8414 IDSSG 700 1- Abadi Martín IDSSG 700 1- Kremer Steve IDSSG 856 4- https://doi.org/10.1007/978-3-642-54792-8 Full text for the University of St. Gallen SWISSBIB 182287645