Trusted Software within Focal - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Trusted Software within Focal

Résumé

This paper describes the Integrated Development Environment Focal together with a brief proof of usability on the formal development of access control policies. Focal is an IDE providing powerful functional and object-oriented features that allow to formally express specification and to go step by step (in an incremental approach) to design and implement while proving that the implementation meets its specification or design requirements. These features are particularly well-suited to develop libraries for secure applications.
Fichier principal
Vignette du fichier
cesar.pdf (211.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01125667 , version 1 (06-03-2015)
hal-01125667 , version 2 (11-12-2015)

Identifiants

  • HAL Id : hal-01125667 , version 2

Citer

Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, et al.. Trusted Software within Focal. C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179. ⟨hal-01125667v2⟩
291 Consultations
76 Téléchargements

Partager

Gmail Facebook X LinkedIn More