Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “On Formal Specification and Analysis of Security Policies”, 2010 Grande Region Security and Reliability Day, Saarbrücken, Germany [Bourdier 2010a]
- T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “Rule-based Specification and Analysis of Security Policies”, 5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Valencia, Spain [Bourdier 2010b]
- M. Jaume : “Security rules versus Security properties”, Sixth International Conference on Information Systems Security (ICISS 2010), vol. 6503, Lecture Notes in Computer Science, Gandhinagar, India, pp. 231-245 [Jaume 2010a]
- M. Jaume, V. Viet Triem Tong, L. Mé : “Contrôle d'accès versus Contrôle de flots”, 10emes Journées Francophones sur les Approches Formelles dans l'Assistance au développement des logiciels, AFADL 2010, Poitiers, France, pp. 27-41 [Jaume 2010b]