Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : François Pessaux Connect in order to contact the contributor
Submitted on : Friday, December 11, 2015 - 11:19:28 AM
Last modification on : Tuesday, September 21, 2021 - 4:06:06 PM


Files produced by the author(s)


  • HAL Id : hal-01125667, version 2


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⟩



Record views


Files downloads