Login / Signup
FMS @ Petri Nets
2014
2014
2014
Keyphrases
Publications
2014
Assia Ben Shil
,
Kaouthar Blibech
A Timestamping Scheme with Eternal Security in the Bounded Storage Model.
FMS @ Petri Nets
(2014)
Jaouhar Fattahi
,
Mohamed Mejri
,
Hanane Houmani
Secrecy by Witness Functions.
FMS @ Petri Nets
(2014)
Sami Zhioua
,
Mahjoub Langar
Traffic Analysis of Web Browsers.
FMS @ Petri Nets
(2014)
Amira Radhouani
,
Akram Idani
,
Yves Ledru
,
Narjes Ben Rajeb
Extraction of Insider Attack Scenarios from a Formal Information System Modeling.
FMS @ Petri Nets
(2014)
Mahjoub Langar
,
Karim Dahmani
Formal Enforcement of Security Policies on Choreographed Services.
FMS @ Petri Nets
(2014)
Mark Ryan
,
Gurchetan S. Grewal
,
Liqun Chen
Du-Vote: Remote Electronic Voting with Untrusted Computers.
FMS @ Petri Nets
(2014)
volume 1158, 2014
Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014.
FMS @ Petri Nets
1158 (2014)