| 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

- Preface
- Complete Proceedings

### 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|