Skip to Main content Skip to Navigation
Journal articles

Framework for the Formal Specification and Verification of Security Guidelines

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01974733
Contributor : Yves Roudier <>
Submitted on : Wednesday, January 9, 2019 - 1:26:35 AM
Last modification on : Thursday, March 5, 2020 - 12:20:21 PM

Identifiers

  • HAL Id : hal-01974733, version 1

Citation

Zeineb Zhioua, Rabéa Ameur-Boulifa, Yves Roudier. Framework for the Formal Specification and Verification of Security Guidelines. Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2018, 3 (1), pp.38-48. ⟨hal-01974733⟩

Share

Metrics

Record views

262