Résumé:
Je présenterais mon travail sur la formalisation de certains aspects
du securityManager, l'expression des propriétés que l'on veut assurer
et la formalisation dans Coq. Ce travail a pour but de fournir un outil
permettant de vérifier l'efficacité des contrôles dynamiques de
permissions à l'intérieur des librairies .
Retour au sommaire / Back to schedule