Trusted Software within Focal

Abstract : 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.
Keywords : formal methods FoCaL
Type de document :
Communication dans un congrès
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. Trusting Trusted Computing ?, pp.162-179, 2008
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01125667
Contributeur : François Pessaux <>
Soumis le : vendredi 11 décembre 2015 - 11:19:28
Dernière modification le : mardi 12 février 2019 - 14:24:26

Fichier

cesar.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01125667, version 2

Citation

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. Trusting Trusted Computing ?, pp.162-179, 2008. 〈hal-01125667v2〉

Partager

Métriques

Consultations de la notice

399

Téléchargements de fichiers

87