Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Ph. Ayrault, Th. Hardin, F. Pessaux : “Development life cycle of critical software under FoCal”, Electronic Notes in Theoretical Computer Science, vol. 243, pp. 15-31, (Elsevier) [Ayrault 2009a]
- L. Habib, M. Jaume, Ch. Morisset : “Formal definition and comparison of access control models”, Journal of information assurance and security (JIAS), vol. 4 (4), pp. 372-381 [Habib 2009]