 | 2005 |
|---|
| 11 |       | Laurence Cholvy,
Christophe Garion,
Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus.
CLIMA VI 2005: 23-36 |
| 2003 |
|---|
| 10 | | Anas Abou El Kalam,
Salem Benferhat,
Alexandre Miège,
Rania El Baida,
Frédéric Cuppens,
Claire Saurel,
Philippe Balbiani,
Yves Deswarte,
Gilles Trouessin:
Organization based access contro.
POLICY 2003: 120- |
| 2001 |
|---|
| 9 |  | Frédéric Cuppens,
Laurence Cholvy,
Claire Saurel,
Jérôme Carrère:
Merging regulations: Analysis of a practical example.
Int. J. Intell. Syst. 16(11): 1223-1243 (2001) |
| 2000 |
|---|
| 8 | | Jérôme Carrère,
Frédéric Cuppens,
Claire Saurel:
LExIS: A Query Language to Scan Information Flow.
NLDB 2000: 369 |
| 1998 |
|---|
| 7 | | Frédéric Cuppens,
Laurence Cholvy,
Claire Saurel,
Jérôme Carrère:
Merging Security Policies: Analysis of a Practical Example.
CSFW 1998: 123-136 |
| 6 | | Jérôme Carrère,
Frédéric Cuppens,
Claire Saurel:
SACADDOS: A Support Tool to Manage Multilevel Documents.
DBSec 1998: 173-188 |
| 5 | | Frédéric Cuppens,
Claire Saurel:
A Logical Formalization of Integrity Policies for Database Management Systems.
IICIS 1998: 231-254 |
| 1997 |
|---|
| 4 | | Laurence Cholvy,
Frédéric Cuppens,
Claire Saurel:
Towards a Logical Formalization of Responsibility.
ICAIL 1997: 233-242 |
| 1996 |
|---|
| 3 | | Frédéric Cuppens,
Claire Saurel:
Specifying a security policy: a case study.
CSFW 1996: 123- |
| 1992 |
|---|
| 2 | | Claudette Cayrol,
Véronique Royer,
Claire Saurel:
Management of Preferences in Assumption-Based Reasoning.
IPMU 1992: 13-22 |
| 1987 |
|---|
| 1 | | Claire Saurel:
EXPLINEG1: Une méthode de génération d'explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicats.
SPLT 1987: 347-358 |
