Formal Specification and Verification of Security Guidelines

Type de document :
Communication dans un congrès
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), Jan 2017, Christchurch, New Zealand
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01974725
Contributeur : Yves Roudier <>
Soumis le : mercredi 9 janvier 2019 - 00:41:25
Dernière modification le : jeudi 10 janvier 2019 - 11:02:46

Identifiants

  • HAL Id : hal-01974725, version 1

Collections

Citation

Zeineb Zhioua, Yves Roudier, R. Ameur-Boulifa. Formal Specification and Verification of Security Guidelines. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), Jan 2017, Christchurch, New Zealand. 〈hal-01974725〉

Partager

Métriques

Consultations de la notice

49