Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
- J. Blond, Ch. Morisset : “Formalisation et implantation d'une politique de sécurité d'une base de données”, Journées Francophones des Langages Applicatifs (JFLA), Pauillac, France, pp. 71-86, (INRIA) [Blond 2006]
- R. Bonichon, O. Hermant : “A Semantic Completeness Proof for TaMeD”, Logic for Programming, Artificial Intelligence, and Reasoning, (LPAR), vol. 4246, Lecture Notes in Computer Science, Phnom Penh, Cambodia, pp. 167-181, (Springer) [Bonichon 2006a]
- R. Bonichon, O. Hermant : “On Constructive Cut Admissibility in Deduction Modulo”, Types for Proofs and Programs, vol. 4502, Lecture Notes in Computer Science, Nottingham, United Kingdom, pp. 33-47, (Springer) [Bonichon 2006b]
- Th. Hardin : “Focal: a formally-based IDE and a mathematical framework”, School of Science, Beihang University, Beijing, China [Hardin 2006a]
- Th. Hardin : “Focal: un atelier de construction modulaire de logiciels, fondé sur lísomorphisme de Curry-Howard”, Séminaire du LIST, CEA, Sacaly, France [Hardin 2006b]
- Th. Hardin : “Focal: un atelier de construction modulaire de logiciels, tentant de répondre aux besoins de la sûreté et de la sécurité”, AFADL 2006 Proceedings, Paris, France, pp. 2-3 [Hardin 2006c]
- Th. Hardin : “Modulogic: Présentation d'un modèle de contrôle d'accès et bilan des travaux réalisés”, Journées PaRISTIC 2006, Nancy, France [Hardin 2006d]
- Th. Hardin, M. Jaume, Ch. Morisset : “Access control and Rewrite Systems”, 1st International Workshop on Security and Rewriting Techniques, SecReT'06, Venice, Italy, pp. 2-17 [Hardin 2006e]
- M. Jaume, Ch. Morisset : “Towards a formal specification of access control”, Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Seattle, Washington, United States [Jaume 2006b]
- I. Noyer, R. Rioboo : “Mechanized Calculus and Algebra: the FoCaL approach”, Second International Congress on Mathematical Software ICMS'2006, Castro Urdiales, Spain [Noyer 2006]
- R. Rioboo : “FoCaL: A Framework for Effective Mathematics”, Workshop on Open Challenges for Computer Algebra, Dagstuhl, Germany [Rioboo 2006]