Skip to main content
SpringerLink
Log in
Book cover

Foundations and Practice of Security

6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Jean Luc Danger

    1. Dept. Commun. & Electronique, Télécom ParisTech, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mourad Debbabi

    1. Concordia Institute for Information Syst Concordia University Research Chair Tier, Concordia University, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean-Yves Marion

    1. École des Mines, Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Joaquin Garcia-Alfaro

    1. RST Department, Rm A105-2, Télécom SudParis, Evry, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Nur Zincir Heywood

    1. Dalhousie University, Halifax, Canada

    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 8352)

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

Included in the following conference series:

Conference proceedings info: FPS 2013.

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 (26 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Keynote Address

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case

      • Jean Goubault-Larrecq, Julien Olivain
      Pages 3-16

  3. Security Protocols

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. On the Feasibility of a Censorship Resistant Decentralized Name System

      • Matthias Wachs, Martin Schanzenbach, Christian Grothoff
      Pages 19-30

    3. A General Framework for Group Authentication and Key Exchange Protocols

      • Huihui Yang, Lei Jiao, Vladimir A. Oleshchuk
      Pages 31-45

    4. Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange

      • Zheng Yang
      Pages 46-62

  4. Formal Methods

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Model-Based Specification and Validation of Security and Dependability Patterns

      • Brahim Hamid, Christian Percebois
      Pages 65-82

    3. Enforcing Information Flow by Combining Static and Dynamic Analysis

      • Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
      Pages 83-101

  5. Physical Security

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Fault Injection to Reverse Engineer DES-Like Cryptosystems

      • Hélène Le Bouder, Sylvain Guilley, Bruno Robisson, Assia Tria
      Pages 105-121

    3. Software Camouflage

      • Sylvain Guilley, Damien Marion, Zakaria Najm, Youssef Souissi, Antoine Wurcker
      Pages 122-139

    4. Investigation of Parameters Influencing the Success of Optical Fault Attacks

      • Thomas Korak
      Pages 140-157

  6. Attack Classification and Assessment

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. ONTIDS: A Highly Flexible Context-Aware and Ontology-Based Alert Correlation Framework

      • Alireza Sadighian, José M. Fernandez, Antoine Lemay, Saman T. Zargar
      Pages 161-177

    3. Quantitative Evaluation of Enforcement Strategies

      • Vincenzo Ciancia, Fabio Martinelli, Matteucci Ilaria, Charles Morisset
      Pages 178-186

  7. Access Control

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Collusion Resistant Inference Control for Cadastral Databases

      • Firas Al Khalil, Alban Gabillon, Patrick Capolsini
      Pages 189-208

    3. Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model

      • Eugenia I. Papagiannakopoulou, Maria N. Koukovini, Georgios V. Lioudakis, Nikolaos Dellas, Joaquin Garcia-Alfaro, Dimitra I. Kaklamani et al.
      Pages 209-226
Back to top

Other volumes

  1. Foundations and Practice of Security

Keywords

About this book

This book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013. The 25 revised full papers presented together with a keynote address were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on security protocols, formal methods, physical security, attack classification and assessment, access control, cipher attacks, ad-hoc and sensor networks, resilience and intrusion detection.

Editors and Affiliations

  • Dept. Commun. & Electronique, Télécom ParisTech, Paris, France

    Jean Luc Danger

  • Concordia Institute for Information Syst Concordia University Research Chair Tier, Concordia University, Montreal, Canada

    Mourad Debbabi

  • École des Mines, Nancy, France

    Jean-Yves Marion

  • RST Department, Rm A105-2, Télécom SudParis, Evry, France

    Joaquin Garcia-Alfaro

  • Dalhousie University, Halifax, Canada

    Nur Zincir Heywood

Bibliographic Information

  • Book Title: Foundations and Practice of Security

  • Book Subtitle: 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers

  • Editors: Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-05302-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2014

  • Softcover ISBN: 978-3-319-05301-1Published: 10 April 2014

  • eBook ISBN: 978-3-319-05302-8Published: 20 March 2014

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 444

  • Number of Illustrations: 134 b/w illustrations

  • Topics: Cryptology, Systems and Data Security, Coding and Information Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation