Skip to Main content Skip to Navigation
Master Thesis

Description de propriétés de sécurité pour un processus de validation/vérification

Abstract : The work presented in this report deals with the validation of access control dened through security policies. We are interested in the validation by means of test generation based on a security model, written in B. We use the Meca tool, which takes as input a functional model and a description of the security policy, both expressed as B models. Meca generates a security kernel, that is in charge of intercepting the access of the subjects to the objects, and restricts the behaviors to those that satisfy the security requirements. We present a complete case study, led on an electronic purse case study, using a discretionary access control policy.
Document type :
Master Thesis
Complete list of metadata

https://dumas.ccsd.cnrs.fr/dumas-00523234
Contributor : Cnam - Service Commun de la Documentation - Bibliothèque Centrale <>
Submitted on : Monday, October 4, 2010 - 3:42:08 PM
Last modification on : Monday, October 19, 2020 - 11:05:46 AM
Long-term archiving on: : Wednesday, January 5, 2011 - 2:46:03 AM

Identifiers

  • HAL Id : dumas-00523234, version 1

Collections

Citation

Thierry Moutet. Description de propriétés de sécurité pour un processus de validation/vérification. Cryptographie et sécurité [cs.CR]. 2010. ⟨dumas-00523234⟩

Share

Metrics

Record views

374

Files downloads

400