Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Theses
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications SPI201420152016201720182019Total
Books0000000
Edited books0000000
Journal articles0000000
Book chapters0000000
Conference papers0000000
Habilitations0000000
Theses0000000
LIP6
  • Ph. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, Th. Hardin, M. Jaume, Ch. Morisset, F. Pessaux, R. Rioboo, P. Weis : “Trusted Software within Focal”, C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, DGA (Ed.), Rennes, France, pp. 162-179 [Ayrault 2008]
  • L. Habib, M. Jaume, Ch. Morisset : “A formal comparison of the Bell & LaPadula and RBAC models”, Fourth International Conference on Information Assurance and Security, IAS'2008, Naples, Italy, pp. 3-8, (IEEE) [Habib 2008]
  • É. Jaeger, Th. Hardin : “A Few Remarks About Formal Development of Secure Systems”, High Assurance Systems Engineering Symposium, Nanjing, China, pp. 165-174, (ISBN: 1530-2059) [Jaeger 2008]
 Mentions légales
Site map |