List DILS vous invite à son événement
À propos de cet événement
Access control and information flow security policies are among the main security policies for formal verification in certain certification processes. We will discuss how those policies can be formalized and the different challenges for differnet formal toolchains. A special emphasis will be put on confidentiality and integrity. The tools I will be focusing on are Why3, Frama-C, Coq, and (if time allows for it) EasyCrypt.
Proposé par
Le CEA est un organisme de recherche sur la défense et la sécurité, les énergies nucléaire et renouvelables, la recherche technologique pour l’industrie et la recherche fondamentale en sciences de la matière et de la vie.
