Advertisement

© 2014

Foundations and Practice of Security

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

  • Jean Luc Danger
  • Mourad Debbabi
  • Jean-Yves Marion
  • Joaquin Garcia-Alfaro
  • Nur Zincir Heywood
Conference proceedings FPS 2013

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

Also part of the Security and Cryptology book sub series (LNSC, volume 8352)

Table of contents

  1. Front Matter
    Pages I-XIII
    PDF

  2. Keynote Address

    1. Front Matter
      Pages 1-1
      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
      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
      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
      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
      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
      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

About these proceedings

Introduction

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.

Keywords

access control authentication block ciphers cipher attacks cryptography formal methods formal security models intrusion detection key management networks physical security security protocols security services

Editors and affiliations

  • Jean Luc Danger
    • 1
  • Mourad Debbabi
    • 2
  • Jean-Yves Marion
    • 3
  • Joaquin Garcia-Alfaro
    • 4
  • Nur Zincir Heywood
    • 5
  1. 1.Dept. Commun. & ElectroniqueTélécom ParisTechParisFrance
  2. 2.Concordia Institute for Information Syst Concordia University Research Chair TierConcordia UniversityMontrealCanada
  3. 3.École des MinesNancyFrance
  4. 4.RST Department, Rm A105-2Télécom SudParisEvryFrance
  5. 5.Dalhousie UniversityHalifaxCanada

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
  • Series Abbreviated Title Lect.Notes Computer
  • DOI https://doi.org/10.1007/978-3-319-05302-8
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-319-05301-1
  • eBook ISBN 978-3-319-05302-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIII, 444
  • Number of Illustrations 134 b/w illustrations, 0 illustrations in colour
  • Topics Cryptology
    Systems and Data Security
    Coding and Information Theory
  • Buy this book on publisher's site