Follow
Thierry Sans
Title
Cited by
Cited by
Year
A formal approach to specify and deploy a network security policy
F Cuppens, N Cuppens-Boulahia, T Sans, A Miège
IFIP World Computer Congress, TC 1, 203-218, 2004
1712004
Nomad: A security model with non atomic actions and deadlines
F Cuppens, N Cuppens-Boulahia, T Sans
18th IEEE Computer Security Foundations Workshop (CSFW'05), 186-196, 2005
1172005
Anti-correlation as a criterion to select appropriate counter-measures in an intrusion detection network
F Cuppens, F Autrel, Y Bouzida, J Garcia‐alfaro, S Gombault, T Sans
Annals of Telecommunications-annales des télécommunications 61 (1-2), 197-217, 2006
432006
Selecting appropriate counter-measures in an intrusion detection framework
F Cuppens, S Gombault, T Sans
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 78-87, 2004
312004
Security policy compliance with violation management
J Brunel, F Cuppens, N Cuppens, T Sans, JP Bodeveix
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
282007
Protection of Relationships in XML Documents with the XML-BB Model
F Cuppens, N Cuppens-Boulahia, T Sans
International Conference on Information Systems Security, 148-163, 2005
202005
QWeS2T for Type-Safe Web Programming.
T Sans, I Cervesato
LAM@ LICS, 96-112, 2010
142010
A framework to enforce access control, usage control and obligations
T Sans, F Cuppens, N Cuppens-Boulahia
Annals of Telecommunications 11 (62), 1329-1352, 2007
102007
Getting CS undergraduates to communicate effectively
A Karatsolis, I Cervasato, K Harras, Y Cooper, K Oflazer, N Abu-Ghazaleh, ...
Proceedings of the 16th annual joint conference on Innovation and technology …, 2011
82011
OPA: Onion Policy Administration Model—Another approach to manage rights in DRM
T Sans, F Cuppens, N Cuppens-Boulahia
New Approaches for Security, Privacy and Trust in Complex Environments …, 2007
82007
Form: A federated rights expression model for open drm frameworks
T Sans, F Cuppens, N Cuppens-Boulahia
Annual Asian Computing Science Conference, 45-59, 2006
72006
A flexible and distributed architecture to enforce dynamic access control
T Sans, F Cuppens, N Cuppens-Boulahia
IFIP International Information Security Conference, 183-195, 2006
72006
Mì ege
F Cuppens, N Cuppens-Boulahia, T Sans
A.: A formal approach to specify and deploy a network security policy. In …, 2004
72004
Type-Safe Web Programming in QWeS2T
T Sans, I Cervesato
Technical Report CMU-CS-10-125, Department of Computer Science, Carnegie …, 2010
22010
A formal approach to specify and deploy a network security policy
N Sans, F Cuppens, A Mige
Second FAST Workshop, Toulouse, France, 2004
22004
ICT Systems Security and Privacy Protection
N Cuppens-Boulahia, F Cuppens, S Jajodia, A Abou El Kalam, T Sans
Springer, 2014
12014
Substructural meta-theory of a type-safe language for web programming
I Cervesato, T Sans
Fundamenta Informaticae 130 (1), 67-97, 2014
12014
XML-BB: A model to handle relationships protection in XML documents
F Cuppens, N Cuppens-Boulahia, T Sans
International Conference on Knowledge-Based and Intelligent Information and …, 2007
12007
29th IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection (SEC 2014), Marrakech, Morocco
N Boulahia Cuppens, F Cuppens, S Jajodia, AAE Kalam, T Sans
Springer, 2014
2014
An Authorization Model For The Web Programming Language Qwel
LA El-Matbouly, T Sans, S Hussein
2013
The system can't perform the operation now. Try again later.
Articles 1–20