Foundations and Practice of Security

4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

  • Joaquin Garcia-Alfaro
  • Pascal Lafourcade
Conference proceedings FPS 2011

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

Table of contents

  1. Front Matter
  2. Keynote Address

    1. Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi
      Pages 1-13
  3. Short Papers

    1. Jordi Pujol-Ahulló, Roger Jardí-Cedó, Jordi Castellà-Roca, Oriol Farràs
      Pages 14-22
    2. Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
      Pages 23-31
  4. Pervasive Security and Threshold Cryptography

    1. Nicola Dragoni, Eduardo Lostal, Davide Papini, Javier Fabra
      Pages 32-48
    2. Behzad Malek, Ali Miri
      Pages 49-61
  5. Encryption, Cryptanalysis and Automatic Verification

    1. Yu Chen, Song Luo, Jianbin Hu, Zhong Chen
      Pages 73-89
    2. Gilles Barthe, Mathilde Duclos, Yassine Lakhnech
      Pages 102-117
  6. Keynote Addresses

    1. Gimer Cervera, Michel Barbeau, Joaquin Garcia-Alfaro, Evangelos Kranakis
      Pages 118-131
    2. Hadi Ahmadi, Reihaneh Safavi-Naini
      Pages 132-147
  7. Formal Methods and Network Security

    1. Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
      Pages 148-163
    2. Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
      Pages 164-180
  8. Ongoing Research

    1. Eugenia I. Papagiannakopoulou, Maria N. Koukovini, Georgios V. Lioudakis, Joaquin Garcia-Alfaro, Dimitra I. Kaklamani, Iakovos S. Venieris
      Pages 208-217
    2. Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
      Pages 218-226
    3. Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
      Pages 227-233
    4. Jérémy Milhau, Marc Frappier, Régine Laleau
      Pages 234-241
    5. Wiem Tounsi, Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia-Alfaro
      Pages 242-251
  9. Back Matter

About these proceedings


This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011.
The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.


asymmetric cryptography cryptographic hash function formal verification identity based encryption secret sharing scheme

Editors and affiliations

  • Joaquin Garcia-Alfaro
    • 1
  • Pascal Lafourcade
    • 2
  1. 1.TELECOM-Bretagne, Campus de RennesCesson Sévigné CedexFrance
  2. 2.Université Joseph Fourier, Laboratoire Verimag, Centre EquationGiresFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-27900-3
  • Online ISBN 978-3-642-27901-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Finance, Business & Banking