Skip to main content
SpringerLink
Log in
Book cover

Risks and Security of Internet and Systems

11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Frédéric Cuppens

    1. Telecom Bretagne , Cesson Sevigne CX, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nora Cuppens

    1. Telecom Bretagne , Brest Cedex 3, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean-Louis Lanet

    1. Inria , Rennes Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Axel Legay

    1. Inria , Rennes 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 10158)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: CRiSIS 2016.

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 EPUB and 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 (17 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Protection of Personal Data

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. CLiKC: A Privacy-Mindful Approach When Sharing Data

      • Esma Aïmeur, Gilles Brassard, Jonathan Rioux
      Pages 3-10

    3. Ransomware and the Legacy Crypto API

      • Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay
      Pages 11-28

  3. Risk and Security Analysis Methodology

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating

      • Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
      Pages 31-45

    3. Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Sequence Diagrams

      • Hela Hakim, Asma Sellami, Hanêne Ben Abddallah
      Pages 46-59

    4. Towards the Weaving of the Characteristics of Good Security Requirements

      • Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, Francois Barrère, Abdelmalek Benzekri
      Pages 60-74

  4. Methodology for Security

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Towards Empirical Evaluation of Automated Risk Assessment Methods

      • Olga Gadyatskaya, Katsiaryna Labunets, Federica Paci
      Pages 77-86

    3. An n-Sided Polygonal Model to Calculate the Impact of Cyber Security Events

      • Gustavo Gonzalez-Granadillo, Joaquin Garcia-Alfaro, Hervé Debar
      Pages 87-102

  5. Security and Formal Methods

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. SPTool – Equivalence Checker for \(\mathtt {SAND}\) Attack Trees

      • Barbara Kordy, Piotr Kordy, Yoann van den Boom
      Pages 105-113

    3. Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study

      • Frédéric Mangano, Simon Duquennoy, Nikolai Kosmatov
      Pages 114-120

  6. Network Security

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. A Proactive Stateful Firewall for Software Defined Networking

      • Salaheddine Zerkane, David Espes, Philippe Le Parc, Frederic Cuppens
      Pages 123-138

    3. Protocol Reverse Engineering: Challenges and Obfuscation

      • J. Duchêne, C. Le Guernic, E. Alata, V. Nicomette, M. Kaâniche
      Pages 139-144

  7. Detection and Monitoring

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. Detecting Anomalous Behavior in DBMS Logs

      • Muhammad Imran Khan, Simon N. Foley
      Pages 147-152

    3. Online Link Disclosure Strategies for Social Networks

      • Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
      Pages 153-168
Back to top

Other volumes

  1. Risks and Security of Internet and Systems

Keywords

About this book

This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover diverse research themes, ranging from classic topics, such as intrusion detection, applied cryptography, formal methods and methodology for risk and security analysis, to emerging issues, such as ransomware and security of software defined networking or virtualization techniques.

 

Editors and Affiliations

  • Telecom Bretagne , Cesson Sevigne CX, France

    Frédéric Cuppens

  • Telecom Bretagne , Brest Cedex 3, France

    Nora Cuppens

  • Inria , Rennes Cedex, France

    Jean-Louis Lanet, Axel Legay

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation