Skip to Main content Skip to Navigation
Conference papers

Formal Specification and Verification of Security Guidelines

Complete list of metadatas

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

Identifiers

  • HAL Id : hal-01974725, version 1

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⟩

Share

Metrics

Record views

92