Zeineb Zhioua, Yves Roudier, Rabea Boulifa Ameur. Formal Specification and Verification of Security Guidelines. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 267-273, IEEE Computer Society, 2017. [doi]
@inproceedings{ZhiouaRA17,
title = {Formal Specification and Verification of Security Guidelines},
author = {Zeineb Zhioua and Yves Roudier and Rabea Boulifa Ameur},
year = {2017},
doi = {10.1109/PRDC.2017.51},
url = {https://doi.org/10.1109/PRDC.2017.51},
researchr = {https://researchr.org/publication/ZhiouaRA17},
cites = {0},
citedby = {0},
pages = {267-273},
booktitle = {22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017},
editor = {Dong Seong Kim and Masato Kitakami and Vijay Varadharajan},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-5652-1},
}