Monter d'un niveau |
Brunel, J., Cuppens, F., Boulahia Cuppens, N., Sans, T., & Bodeveix, J.-P. (novembre 2007). Security policy compliance with violation management [Communication écrite]. ACM Workshop on Formal Methods in Security Engineering, Fairfax, Virginia. Lien externe
Chareton, C., Brunel, J., & Chemouil, D. (septembre 2015). Evaluating the Assignment of Behavioral Goals to Coalitions of Agents [Communication écrite]. 18th Brazilian Symposium on Formal Methods (SBMF 2015), Belo Horizonte, Brazil. Lien externe