Valerie Viet Triem Tong

Laboratoire

Génie Électrique et Électronique de PariS

Publications (97)

Rapport 01/01/2011

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

Valérie Viet Triem Tong , Christophe Bidan , Ludovic Mé , Christopher Humphries , Guillaume Piolle , 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 , Valérie Viet Triem Tong , 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

Valérie Viet Triem Tong , 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 , Valérie Viet Triem Tong , 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 , Valérie Viet Triem Tong , 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 , Valérie Viet Triem Tong , Nicolas Craipeau , Ronan Hardouin , Christophe Alleaune , Valérie-Laure Benabou , Denis Beras , Christophe Bidan , 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é , Valérie Viet Triem Tong , 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 , Valérie Viet Triem Tong , 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 , Valérie Viet Triem Tong , Adel Bouhoula , Valerie Viet Triem Tong

Article dans une revue 01/01/2009

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

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