Validation of a security policy by the test of its formal B specification - a case study - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Validation of a security policy by the test of its formal B specification - a case study

Not file

Dates and versions

hal-01420680 , version 1 (20-12-2016)

Identifiers

  • HAL Id : hal-01420680 , version 1

Cite

Yves Ledru, Akram Idani, Jean-Luc Richier. Validation of a security policy by the test of its formal B specification - a case study. Third FME Workshop on Formal Methods in Software Engineering (Formalise’15), 2015, Firenze, Italy. pp.6-12. ⟨hal-01420680⟩
40 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More