Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Engineering Secure Software and Systems

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

Editors:

  1. Úlfar Erlingsson

    1. Google Inc., Mountain View, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roel Wieringa

    1. Computer Science Department, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nicola Zannone

    1. Faculty of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): ESSoS: International Symposium on Engineering Secure Software and Systems

Conference proceedings info: ESSoS 2011.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 papers)

  1. Front Matter

    PDF

  2. Session 1. Model-Based Security I

    1. Model-Based Refinement of Security Policies in Collaborative Virtual Organisations

      • Benjamin Aziz, Alvaro E. Arenas, Michael Wilson
      Pages 1-14

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

      • David Power, Mark Slaymaker, Andrew Simpson
      Pages 15-28

    3. Security Validation of Business Processes via Model-Checking

      • Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta
      Pages 29-42

  3. Session 2. Tools and Mechanisms

    1. On-Device Control Flow Verification for Java Programs

      • Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
      Pages 43-57

    3. Predictability of Enforcement

      • Nataliia Bielova, Fabio Massacci
      Pages 73-86

  4. Session 3. Web Security

    1. SessionShield: Lightweight Protection against Session Hijacking

      • Nick Nikiforakis, Wannes Meert, Yves Younan, Martin Johns, Wouter Joosen
      Pages 87-100

  5. Session 4. Model-Based Security II

    2. A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications

      • Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
      Pages 142-155

  6. Session 5. Security Requirements Engineering

    1. The Security Twin Peaks

      • Thomas Heyman, Koen Yskout, Riccardo Scandariato, Holger Schmidt, Yijun Yu
      Pages 167-180

    2. Evolution of Security Requirements Tests for Service–Centric Systems

      • Michael Felderer, Berthold Agreiter, Ruth Breu
      Pages 181-194

    3. After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes

      • Fabio Massacci, Stephan Neuhaus, Viet Hung Nguyen
      Pages 195-208

  7. Session 6. Authorization

    1. Authorization Enforcement Usability Case Study

      • Steffen Bartsch
      Pages 209-220

    2. Scalable Authorization Middleware for Service Oriented Architectures

      • Tom Goovaerts, Lieven Desmet, Wouter Joosen
      Pages 221-233

  8. Session 7. Ideas

    1. Idea: Interactive Support for Secure Software Development

      • Jing Xie, Bill Chu, Heather Richter Lipford
      Pages 248-255
Back to top

Other Volumes

  1. Engineering Secure Software and Systems

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Google Inc., Mountain View, USA

    Úlfar Erlingsson

  • Computer Science Department, University of Twente, Enschede, The Netherlands

    Roel Wieringa

  • Faculty of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    Nicola Zannone

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation