Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- E. Gureghian, Th. Hardin, M. Jaume : “A full formalisation of the Bell and La Padula security model”, [Gureghian 2003]