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
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01125667
Contributor : François Pessaux <>
Submitted on : Friday, December 11, 2015 - 11:19:28 AM
Last modification on : Saturday, July 13, 2019 - 1:14:59 AM

File

cesar.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.162-179. ⟨hal-01125667v2⟩

Share

Metrics

Record views

419

Files downloads

93