From Formal Specifications to Secure Implementations - Université de Poitiers Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

From Formal Specifications to Secure Implementations

Résumé

This paper proposes a new tool-supported technique for the complete development of safety-critical interactive systems from the specification to the implementation step. Safety as well as usability properties are continuously guaranteed during the development process. This technique relies on formal specifications of the requirements and so uses the model-oriented formal method B and a new ad-hoc software architecture model -CAV- which is an hybrid of MVC and PAC models. At the implementation step, this technique uses automatic code generation. Moreover, links from secure generated code to native non-secure libraries are clarified. This development process is illustrated by a fully implemented case study.
Fichier principal
Vignette du fichier
2002-cadui02-jambon.pdf (83.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03702485 , version 1 (23-06-2022)

Identifiants

Citer

Francis Jambon. From Formal Specifications to Secure Implementations. Fourth International Conference on Computer-Aided Design of User Interfaces, May 2002, Valenciennes, France. pp.51-62, ⟨10.1007/978-94-010-0421-3_4⟩. ⟨hal-03702485⟩
10 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More