Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00386308
Contributor : Noël Bernard <>
Submitted on : Wednesday, May 20, 2009 - 6:54:29 PM
Last modification on : Friday, November 6, 2020 - 3:37:50 AM
Long-term archiving on: : Thursday, June 10, 2010 - 9:37:32 PM

File

afadl_2000_Bernard-Dumond.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00386308, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

155

Files downloads

114