Thierry Sans

Thierry Sans

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4312693
person_outline Thierry Sans's MOST POPULAR ARTICLES
1-) A formal approach to specify and deploy a network security policyF Cuppens, N Cuppens-Boulahia, T Sans, A MiègeIFIP World Computer Congress, TC 1, 203-218, 20041682004
2-) Nomad: A security model with non atomic actions and deadlinesF Cuppens, N Cuppens-Boulahia, T Sans18th IEEE Computer Security Foundations Workshop (CSFW\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'05), 186-196, 20051122005
3-) Anti-correlation as a criterion to select appropriate counter-measures in an intrusion detection frameworkF Cuppens, F Autrel, Y Bouzida, J Garcia, S Gombault, T SansAnnales des télécommunications 61 (1), 197-217, 2006422006
4-) Selecting appropriate counter-measures in an intrusion detection frameworkF Cuppens, S Gombault, T SansProceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 78-87, 2004312004
5-) Security policy compliance with violation managementJ Brunel, F Cuppens, N Cuppens, T Sans, JP BodeveixProceedings of the 2007 ACM workshop on Formal methods in security …, 2007292007