Framework for the Formal Specification and Verification of Security Guidelines

Type de document :
Article dans une revue
Advances in Science, Technology and Engineering Systems Journal, 2018, 3 (1), pp.38-48
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01974733
Contributeur : Yves Roudier <>
Soumis le : mercredi 9 janvier 2019 - 01:26:35
Dernière modification le : mercredi 20 février 2019 - 01:28:57

Identifiants

  • 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, 2018, 3 (1), pp.38-48. 〈hal-01974733〉

Partager

Métriques

Consultations de la notice

37