Spécification en pi-calcul de l'étude de cas relative au contrôle d'accès - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Spécification en pi-calcul de l'étude de cas relative au contrôle d'accès

Résumé

This paper is devoted to the case study proposed in AFADL about access control. The formalism chosen for the specification is the pi-calculus and the mu-logic is used to express desired properties of the system and verify these properties using the Mobility Workbench. The adequation of these formal techniques to the proposed specification is discussed.
Fichier principal
Vignette du fichier
afadl_2000_Bernard-Dumond.pdf (1.77 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00386308 , version 1 (20-05-2009)

Identifiants

  • HAL Id : hal-00386308 , version 1

Citer

Noël Bernard, Yves Dumond. Spécification en pi-calcul de l'étude de cas relative au contrôle d'accès. Approches Formelles dans l'Assistance au Développement de Logiciels, 2000, France. pp.188-202. ⟨hal-00386308⟩
80 Consultations
44 Téléchargements

Partager

Gmail Facebook X LinkedIn More