É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 : “Formal Specification and Validation of Security Policies”, FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, vol. 6888, Lecture Notes in Computer Science, Paris, France, pp. 148-163, (Springer, Heidelberg) [Bourdier 2012]
- D. Doligez, M. Jaume, R. Rioboo : “Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment”, PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Beijing, China, (ACM) [Doligez 2012]
- M. Jaume : “Semantic comparison of security policies: from access control policies to flow properties”, Workshop on Semantic Computing and Security, WSCS'2012, IEEE CS Security and Privacy Workshops, San Francisco, United States, pp. 60-67, (IEEE) [Jaume 2012a]
- M. Jaume, R. Rioboo : “Développement de systèmes sécurisés avec l'atelier FoCaLiZe”, JFLA - Journées Francophones des Langages Applicatifs - 2012, Carnac, France, pp. 104-118 [Jaume 2012b]
- F. Pessaux, V. Benayoun, C. Dubois, Ph. Ayrault : “ML Dependency Analysis for Assessors”, Software Engineering and Formal Methods (SEFM) 2012, vol. 7504, Thessaloniki, Greece, pp. 278-292, (Springer Verlag) [Pessaux 2012]