Modelization of security policies in different tools

Cécile Baritel-Ruet le

Lieu: Salle 1073

Abstract

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.

Modelization of security policies in different tools

Cécile Baritel-Ruet le var d = new Date(1708606800000); document.getElementById("date").innerHTML = d.toLocaleString();

Abstract

Cécile Baritel-Ruet le