Engineering Secure Software and Systems

6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

• Author(s): Jan Jürjens, Frank Piessens, Nataliia Bielova,
• Publisher: Springer
• Pages: 231
• ISBN_10: 331904897X
  ISBN_13: 9783319048970
  
• Language: en
• Categories: Computers / Networking / Hardware , Computers / Security / General , Computers / Software Development & Engineering / General , Computers / Information Theory , Computers / Data Science / General , Computers / Online Services , Computers / Networking / General , Computers / Internet / General , Language Arts & Disciplines / Library & Information Science / General , Computers / Programming / Algorithms , Mathematics / Discrete Mathematics , Computers / Computer Science ,

Description:... 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.