Security and Cryptology

Engineering Secure Software and Systems

Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings

Editors: Erlingsson, Úlfar, Wieringa, Roel, Zannone, Nicola (Eds.)

Free Preview
  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-642-19125-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD
About this book

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Model-Based Refinement of Security Policies in Collaborative Virtual Organisations

    Pages 1-14

    Aziz, Benjamin (et al.)

  • Automatic Conformance Checking of Role-Based Access Control Policies via Alloy

    Pages 15-28

    Power, David (et al.)

  • Security Validation of Business Processes via Model-Checking

    Pages 29-42

    Arsac, Wihem (et al.)

  • On-Device Control Flow Verification for Java Programs

    Pages 43-57

    Fontaine, Arnaud (et al.)

  • Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations

    Pages 58-72

    Corin, Ricardo (et al.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-642-19125-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Engineering Secure Software and Systems
Book Subtitle
Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings
Editors
  • Úlfar Erlingsson
  • Roel Wieringa
  • Nicola Zannone
Series Title
Security and Cryptology
Series Volume
6542
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-19125-1
DOI
10.1007/978-3-642-19125-1
Softcover ISBN
978-3-642-19124-4
Edition Number
1
Number of Pages
XI, 273
Number of Illustrations
48 b/w illustrations, 21 illustrations in colour
Topics