FPS 2011:
Paris, France
Joaquín García-Alfaro, Pascal Lafourcade (Eds.):
Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers.
Lecture Notes in Computer Science 6888 Springer 2012, ISBN 978-3-642-27900-3
Keynote Address
Short Papers
Pervasive Security and Threshold Cryptography
Encryption, Cryptanalysis and Automatic Verification
Keynote Addresses
Formal Methods and Network Security
Ongoing Research
- Eugenia I. Papagiannakopoulou, Maria N. Koukovini, Georgios V. Lioudakis, Joaquín García-Alfaro, Dimitra I. Kaklamani, Iakovos S. Venieris:
A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress.
208-217

- Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis:
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress.
218-226

- Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau:
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.
227-233

- Jérémy Milhau, Marc Frappier, Régine Laleau:
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress.
234-241

- Wiem Tounsi, Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro:
Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress.
242-251

Last update Sat May 25 17:54:24 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page