Vol-1158
urn:nbn:de:0074-1158-8

Copyright © 2014 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

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

Du-Vote: Remote Electronic Voting with Untrusted Computers (invited paper) 4
Mark Ryan, Gurchetan Grewal, Liqun Chen

Session 2: Information Systems Security

Extraction of Insider Attack Scenarios from a Formal Information System Modeling 5-19
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Traffic Analysis of Web Browsers 20-33
Sami Zhioua, Mahjoub Langar

Session 3: Security Protocol

Secrecy by Witness Functions 34-52
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Formal Enforcement of Security Policies on Choreographed Services 53-67
Mahjoub Langar, Karim Dahmani
A Timestamping Scheme with Eternal Security in the Bounded Storage Model 68-79
Assia Ben Shil, Kaouther Blibech

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