Skip to main content
SpringerLink
Log in
Book cover

Engineering Secure Software and Systems

7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Frank Piessens

    1. iMinds-DistriNet, KU Leuven, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juan Caballero

    1. IMDEA Software Institute, Pozuelo de Alarcón, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nataliia Bielova

    1. Inria Sophia Antipolis – Mediterranee, Sophia Antipolis Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ESSoS 2015.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Methods

    1. Formal Verification of Liferay RBAC

      • Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
      Pages 1-16

    2. Formal Verification of Privacy Properties in Electric Vehicle Charging

      • Marouane Fazouane, Henning Kopp, Rens W. van der Heijden, Daniel Le Métayer, Frank Kargl
      Pages 17-33

    3. Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs

      • Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per Hallgren
      Pages 34-42

    4. Idea: State-Continuous Transfer of State in Protected-Module Architectures

      • Raoul Strackx, Niels Lambrigts
      Pages 43-50

  3. Machine Learning

    1. Are Your Training Datasets Yet Relevant?

      • Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
      Pages 51-67

    2. Learning How to Prevent Return-Oriented Programming Efficiently

      • David Pfaff, Sebastian Hack, Christian Hammer
      Pages 68-85

  4. Cloud and Passwords

    1. Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores

      • Thuy D. Nguyen, Mark Gondree, Jean Khosalim, Cynthia Irvine
      Pages 86-101

    2. Idea: Optimising Multi-Cloud Deployments with Security Controls as Constraints

      • Philippe Massonet, Jesus Luna, Alain Pannetrat, Ruben Trapero
      Pages 102-110

    3. Idea: Towards an Inverted Cloud

      • Raoul Strackx, Pieter Philippaerts, Frédéric Vogels
      Pages 111-118

    4. OMEN: Faster Password Guessing Using an Ordered Markov Enumerator

      • Markus Dürmuth, Fabian Angelstorf, Claude Castelluccia, Daniele Perito, Abdelberi Chaabane
      Pages 119-132

  5. Measurements and Ontologies

    1. The Heavy Tails of Vulnerability Exploitation

      • Luca Allodi
      Pages 133-148

    2. Idea: Benchmarking Indistinguishability Obfuscation – A Candidate Implementation

      • Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner
      Pages 149-156

    3. A Security Ontology for Security Requirements Elicitation

      • Amina Souag, Camille Salinesi, Raúl Mazo, Isabelle Comyn-Wattiau
      Pages 157-177

  6. Access Control

    1. Producing Hook Placements to Enforce Expected Access Control Policies

      • Divya Muthukumaran, Nirupama Talele, Trent Jaeger, Gang Tan
      Pages 178-195

    2. Improving Reuse of Attribute-Based Access Control Policies Using Policy Templates

      • Maarten Decat, Jasper Moeys, Bert Lagaisse, Wouter Joosen
      Pages 196-210

    3. Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study

      • Lars Hamann, Karsten Sohr, Martin Gogolla
      Pages 211-226

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Engineering Secure Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.

Editors and Affiliations

  • iMinds-DistriNet, KU Leuven, Belgium

    Frank Piessens

  • IMDEA Software Institute, Pozuelo de Alarcón, Spain

    Juan Caballero

  • Inria Sophia Antipolis – Mediterranee, Sophia Antipolis Cedex, France

    Nataliia Bielova

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation