Engineering secure software and systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
Saved in:
Meeting name: | ESSoS (Symposium) (6th : 2014 : Munich, Germany) |
---|---|
Imprint: | Cham : Springer, 2014. |
Description: | 1 online resource (XVIII, 231 pages) : illustrations. |
Language: | English |
Series: | Lecture Notes in Computer Science ; 8364 LNCS sublibrary. SL 4, Security and cryptology Lecture notes in computer science ; 8364. LNCS sublibrary. SL 4, Security and cryptology. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11083728 |
Summary: | 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. |
---|---|
Physical Description: | 1 online resource (XVIII, 231 pages) : illustrations. |
Bibliography: | Includes bibliographical references and index. |
ISBN: | 9783319048970 331904897X 9783319048963 3319048961 |