Skip to main content
Springer Nature Link
Log in

Foundations and Practice of Security

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Joaquin Garcia-Alfaro

    1. TELECOM-Bretagne, Campus de Rennes, Cesson Sévigné Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pascal Lafourcade

    1. Université Joseph Fourier, Laboratoire Verimag, Centre Equation, Gires, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: FPS 2011.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Address

    1. Preserving Privacy in Online Social Networks

      • Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi
      Pages 1-13

  3. Short Papers

    1. TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections

      • Jordi Pujol-Ahulló, Roger Jardí-Cedó, Jordi Castellà-Roca, Oriol Farràs
      Pages 14-22

    2. Automated Verification of Block Cipher Modes of Operation, an Improved Method

      • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
      Pages 23-31

  4. Pervasive Security and Threshold Cryptography

    1. SC 2: Secure Communication over Smart Cards

      • Nicola Dragoni, Eduardo Lostal, Davide Papini, Javier Fabra
      Pages 32-48

    2. Private Identification of RFID Tags

      • Behzad Malek, Ali Miri
      Pages 49-61

    3. Threshold Encryption into Multiple Ciphertexts

      • Martin Stanek
      Pages 62-72

  5. Encryption, Cryptanalysis and Automatic Verification

    1. A Novel Commutative Blinding Identity Based Encryption Scheme

      • Yu Chen, Song Luo, Jianbin Hu, Zhong Chen
      Pages 73-89

    2. A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules

      • Marina Pudovkina
      Pages 90-101

    3. A Computational Indistinguishability Logic for the Bounded Storage Model

      • Gilles Barthe, Mathilde Duclos, Yassine Lakhnech
      Pages 102-117

  6. Keynote Addresses

    1. Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol

      • Gimer Cervera, Michel Barbeau, Joaquin Garcia-Alfaro, Evangelos Kranakis
      Pages 118-131

    2. Secret Key Establishment over Noisy Channels

      • Hadi Ahmadi, Reihaneh Safavi-Naini
      Pages 132-147

  7. Formal Methods and Network Security

    1. Formal Specification and Validation of Security Policies

      • Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
      Pages 148-163

    2. Vote-Independence: A Powerful Privacy Notion for Voting Protocols

      • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
      Pages 164-180

    3. Black-Box Property of Cryptographic Hash Functions

      • Michal Rjaško
      Pages 181-193

    4. Phishing Detection with Popular Search Engines: Simple and Effective

      • Jun Ho Huh, Hyoungshick Kim
      Pages 194-207

  8. Ongoing Research

    1. A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress

      • Eugenia I. Papagiannakopoulou, Maria N. Koukovini, Georgios V. Lioudakis, Joaquin Garcia-Alfaro, Dimitra I. Kaklamani, Iakovos S. Venieris
      Pages 208-217

    2. A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress

      • Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
      Pages 218-226

    3. Specification and Verification of Access Control Policies in EB3SEC: Work in Progress

      • Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
      Pages 227-233

    4. A Metamodel of the B Modeling of Access-Control Policies: Work in Progress

      • Jérémy Milhau, Marc Frappier, Régine Laleau
      Pages 234-241
Back to top

Other volumes

  1. Foundations and Practice of Security

Editors and Affiliations

  • TELECOM-Bretagne, Campus de Rennes, Cesson Sévigné Cedex, France

    Joaquin Garcia-Alfaro

  • Université Joseph Fourier, Laboratoire Verimag, Centre Equation, Gires, France

    Pascal Lafourcade

Bibliographic Information

Publish with us

Policies and ethics

Back to top