Advertisement

Engineering Secure Software and Systems

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

  • Jan Jürjens
  • Frank Piessens
  • Nataliia Bielova
Conference proceedings ESSoS 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8364)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Model-Based Security

    1. Emily R. Jacobson, Andrew R. Bernat, William R. Williams, Barton P. Miller
      Pages 1-18
    2. Yehia Elrakaiby, Moussa Amrani, Yves Le Traon
      Pages 19-34
  3. Formal Methods

    1. Piergiuseppe Bettassa Copet, Riccardo Sisto
      Pages 45-59
    2. Filippo Del Tedesco, Alejandro Russo, David Sands
      Pages 60-76
    3. Hermann de Meer, Henrich C. Pöhls, Joachim Posegga, Kai Samelin
      Pages 113-130
    4. Peter T. Breuer, Jonathan P. Bowen
      Pages 131-140
  4. Web and Mobile Security

    1. Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld
      Pages 141-160
    2. Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
      Pages 161-178
    3. Fabian van den Broek, Brinio Hond, Arturo Cedillo Torres
      Pages 179-195
  5. Applications

    1. Hamza Ghani, Jesus Luna Garcia, Ivaylo Petkov, Neeraj Suri
      Pages 196-212
    2. Sibylle Fröschle, Alexander Stühring
      Pages 213-221
    3. Maël Berthier, Julien Bringer, Hervé Chabanne, Thanh-Ha Le, Lionel Rivière, Victor Servant
      Pages 222-229
  6. Back Matter

About these proceedings

Introduction

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.

Keywords

economics of security embedded secure software embedded secure software model-driven engineering security policies smartcards

Editors and affiliations

  • Jan Jürjens
    • 1
  • Frank Piessens
    • 2
  • Nataliia Bielova
    • 3
  1. 1.Department of Computer ScienceTechnical University DortmundDortmundGermany
  2. 2.Department of Computer ScienceKU LeuvenHeverleeBelgium
  3. 3.Inria Sophia Antipolis – MediterraneeSophia Antipolis CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-04897-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-04896-3
  • Online ISBN 978-3-319-04897-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering