FMS 2014
Formal Methods for Security

Proceedings of the Formal Methods for Security Workshop
co-located with the PetriNets-2014 Conference

Tunis, Tunisia, June 23rd, 2014.

Edited by

Véronique Cortier *
Riadh Robbana **

* LORIA, Lorraine University, France
** LIP2 and INSAT-University of Carthage, Tunisia

Table of Contents

Session 1: Electronic Voting

Session 2: Information Systems Security

Session 3: Security Protocol

2014-06-24: submitted by Riadh Robbana, Véronique Cortier
2014-06-24: published on CEUR-WS.org |valid HTML5|