LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Suche » Publikationen » Veröffentlichungen in Papierform
Bücher
Bucheditionen
Artikel in wissenschaftlichen Zeitschriften
Buchkapitel
Veröffentlichungen in Papierform
Weitere Publikationen
Habilitationen
Doktorarbeiten
Forschungsgruppen zur Zeit : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Ehemalige Forschungsgruppen : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Ehemalige Themen : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
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
Plan |