Skip to Main content Skip to Navigation
Conference papers

Formal Specification of Security Guidelines for Program Certification

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01974729
Contributor : Yves Roudier <>
Submitted on : Wednesday, January 9, 2019 - 12:59:26 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:29 PM

Identifiers

  • HAL Id : hal-01974729, version 1

Citation

Zeineb Zhioua, Yves Roudier, R. Ameur-Boulifa. Formal Specification of Security Guidelines for Program Certification. Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia-Antipolis, France. ⟨hal-01974729⟩

Share

Metrics

Record views

52