An edition of Engineering Secure Software and Systems (2013)

Engineering Secure Software and Systems

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

by

  • 1 Want to read
Cover of: Engineering Secure Software and Systems by Jan Jürjens, Jan Jürjens, Frank Piessens, Nataliia Bielova
Locate

My Reading Lists:

Create a new list
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
October 9, 2024 | History
Edit
An edition of Engineering Secure Software and Systems (2013)

Engineering Secure Software and Systems

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

by

  • 1 Want to read

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.

Publish Date
Publisher
Springer
Pages
249

Check nearby libraries

Buy this book

Subjects

Models and Principles Software Engineering/Programming and Operating Systems Cryptology and Information Theory Data Structures Software engineering Data structures (Computer science) Math Applications in Computer Science Computer Communication Networks Data Encryption Computer science Data encryption (Computer science) Computer security Congresses Computer networks Security measures Computer networks, security measures Computers, access control
Edition Availability
Cover of: Engineering Secure Software and Systems
Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Mar 05, 2014, Springer
paperback
Cover of: Engineering Secure Software and Systems
Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
2014, Springer
in English
Cover of: Engineering Secure Software and Systems
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Jan 22, 2013, Springer
paperback
Cover of: Engineering Secure Software and Systems
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Mar 01, 2013, Springer
paperback
Cover of: Engineering Secure Software and Systems
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English

Add another edition?

Book Details

Edition Notes

Source title: Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings (Lecture Notes in Computer Science (8364))

Classifications

Library of Congress
QA75.5-76.95, TK5105.5-5105.9

The Physical Object

Format
paperback
Number of pages
249

Edition Identifiers

Open Library
OL27996989M
ISBN 10
3319048961
ISBN 13
9783319048963

Work Identifiers

Work ID
OL19847553W

Source records

Work Description

This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation