cam a22 5 4500 317150006 CHVBK 20201018165205.0 m d cr |n |||||||| 140625s2014 gw |||| s 0 0|eng d 978-3-319-04897-0 978-3-319-04896-3 (print) 10.1007/978-3-319-04897-0 doi (SERSOL)ssj0001187146 (NEBIS)010157860 (IDSSG)000655445 (WaSeSS)ssj0001187146 WaSeSS TK5105.5-5105.9 UKN bicssc COM075000 bisacsh 004.6 23 DEAGI34A45645E6298B7CC1257FCD004CC186 iCapture Jürjens Jan editor Engineering Secure Software and Systems [Elektronische Daten] 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings edited by Jan Jürjens, Frank Piessens, Nataliia Bielova Cham Springer International Publishing Imprint: Springer 2014 1 online resource (XVIII, 231 p. 59 illus.) online resource text file PDF rda Lecture Notes in Computer Science 0302-9743 8364 Model-Based Security -- Detecting Code Reuse Attacks with a Model of Conformant Program Execution -- Security@Runtime: A Flexible MDE Approach to Enforce Fine-Grained Security Policies -- Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services -- Formal Methods -- Automated Formal Verification of Application-Specific Security Properties -- Fault-Tolerant Non-interference -- Quantitative Security Analysis for Programs with Low Input and Noisy Output -- A Modeling and Formal Approach for the Precise Specification of Security Patterns -- On the Relation between Redactable and Sanitizable Signature Schemes -- Idea: Towards a Working Fully Homomorphic Crypto-processor: Practice and the Secret Computer -- Web and Mobile Security -- Architectures for Inlining Security Monitors in Web Applications -- Automatic and Robust Client-Side Protection for Cookie-Based Sessions -- Security Testing of GSM Implementations -- Applications -- User-Centric Security Assessment of Software Configurations: A Case Study -- Idea: Security Engineering Principles for Day Two Car2X Applications.-Idea: Embedded Fault Injection Simulator on Smartcard. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications. DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME) ger (ETHUDK)000034698 ethudk SOFTWARE ENGINEERING ger (ETHUDK)000043018 ethudk VERIFIKATION (SOFTWARE ENGINEERING) ger (ETHUDK)000013750 ethudk ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger (ETHUDK)000013749 ethudk Computer science Computer Communication Networks Software engineering Data structures (Computer science) Data encryption (Computer science) Online-Ressource gnd-carrier Konferenzschrift München 2014 gnd-content u SOFTWARE ENGINEERING ger 004*04*04 nebis E1 u ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger 004*04*04*05*02 nebis E1 u VERIFIKATION (SOFTWARE ENGINEERING) ger 004*04*04*05 nebis E1 u DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME) ger 004*04*06*06 nebis E1 u GÉNIE LOGICIEL fre 004*04*04 nebis E1 u SOFTWARE ENGINEERING eng 004*04*04 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 VÉRIFICATION (GÉNIE LOGICIEL) fre 004*04*04*05 nebis E1 u VERIFICATION (SOFTWARE ENGINEERING) eng 004*04*04*05 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 Piessens Frank editor Bielova Nataliia editor SpringerLink (Online service) Printed edition 9783319048963 https://link.springer.com/10.1007/978-3-319-04897-0 Uni Basel: Volltext https://link.springer.com/openurl?genre=book&isbn=978-3-319-04896-3 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 UPHZHEBO UPHZH-201606 Kongress = Congrès 2014 München NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655445 IDSBB A145 A145 145VT IDSBB B405 B405 405VT IDSBB 100 1- Jürjens Jan editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8364 IDSBB 700 1- Piessens Frank editor IDSBB 700 1- Bielova Nataliia editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783319048963 IDSBB 856 40 https://link.springer.com/10.1007/978-3-319-04897-0 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-319-04896-3 Uni Bern: Volltext NEBIS 490 -- Lecture notes in computer science 8364 NEBIS 700 1- Jürjens Jan NEBIS 711 2- International Symposium on Engineering Secure Software and Systems (DE-588)1092403876 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783319048963 Online via SFX Volltext IDSSG 490 0- Lecture Notes in Computer Science 8364 IDSSG 700 1- Jürjens Jan IDSSG 700 1- Piessens Frank IDSSG 700 1- Bielova Nataliia IDSSG 856 4- https://doi.org/10.1007/978-3-319-04897-0 Full text for the University of St. Gallen SWISSBIB 317150006