Valerie Viet Triem Tong

Emmanuelle Anceaume , Sébastien Gambs , Michel Hurfin , Ludovic Mé , Nicolas Prigent , Éric Totel , Christophe Bidan , Guillaume Hiet , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrès 05/06/2011

Information Flow Control for Intrusion Detection derived from MAC Policy

Stéphane Geller , Christophe Hauser , Frederic Tronel , Valerie Viet Triem Tong

Rapport 01/01/2011

Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL

Ludovic Mé , Christopher Humphries , Valerie Viet Triem Tong , Christophe Bidan , Guillaume Piolle

Article dans une revue 01/01/2011

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

Daniel Le Métayer , Manuel Maarek , Eduardo Mazza , Marie-Laure Potet , Stéphane Frénot , Nicolas Craipeau , Ronan Hardouin , Valerie Viet Triem Tong

Article dans une revue 14/06/2010

Specifying and enforcing a fine-grained information flow policy : model and experiments

Andrew E. Clark , Ludovic Mé , Valerie Viet Triem Tong

Communication dans un congrès 01/06/2010

Contrôle d'accès versus Contrôle de flots

Mathieu Jaume , Ludovic Mé , Valerie Viet Triem Tong

Communication dans un congrès 18/05/2010

Protection des données utilisateurs dans une orchestration de Web-Services

Thomas Demongeot , Éric Totel , Yves Le Traon , Valerie Viet Triem Tong

Communication dans un congrès 02/05/2010

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Daniel Le Métayer , Manuel Maarek , Eduardo Mazza , Marie-Laure Potet , Stéphane Frénot , Nicolas Craipeau , Ronan Hardouin , Christophe Alleaune , Valérie-Laure Benabou , Denis Beras , Gregor Goessler , Julien Le Clainche , Ludovic Mé , Sylvain Steer , Valerie Viet Triem Tong , Christophe Bidan

Communication dans un congrès 09/09/2009

An Efficient Distributed PKI for Structured P2P Networks

François Lesueur , Ludovic Mé , Valerie Viet Triem Tong

Autre publication scientifique 01/09/2009

Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy

Laurent Georget , Ludovic Mé , Valerie Viet Triem Tong

Communication dans un congrès 16/03/2009

Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols

Mehdi Talbi , Adel Bouhoula , Valerie Viet Triem Tong

Rapport 01/01/2009

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Christophe Alleaune , Valérie-Laure Benabou , Denis Beras , Nicolas Craipeau , Stéphane Frénot , Gregor Goessler , Ronan Hardouin , Julien Le Clainche , Daniel Le Métayer , Manuel Maarek , Eduardo Mazza , Ludovic Mé , Marie-Laure Potet , Sylvain Steer , Christophe Bidan , Valerie Viet Triem Tong

Article dans une revue 01/01/2009

Policy-based intrusion detection in web applications by monitoring Java information flows

Ludovic Mé , Benjamin Morin , Guillaume Hiet , Valerie Viet Triem Tong

Communication dans un congrès 28/10/2008

Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information Flows

Ludovic Mé , Benjamin Morin , Guillaume Hiet , Valerie Viet Triem Tong

Communication dans un congrès 22/10/2008

Specification of Electronic Voting Protocol Properties Using ADM Logic : FOO Case Study

Mehdi Talbi , Benjamin Morin , Adel Bouhoula , Mohammed Mejri , Valerie Viet Triem Tong

Communication dans un congrès 13/10/2008

Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM

Mehdi Talbi , Benjamin Morin , Adel Bouhoula , Mohammed Mejri , Valerie Viet Triem Tong