Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, I. Traore. Integrated Security Verification and Validation: Case Study. In LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006. pages 1000-1007, IEEE Computer Society, 2006. [doi]
@inproceedings{GhindiciGSLT06,
title = {Integrated Security Verification and Validation: Case Study},
author = {Dorina Ghindici and Gilles Grimaud and Isabelle Simplot-Ryl and Yanguo Liu and I. Traore},
year = {2006},
doi = {10.1109/LCN.2006.322215},
url = {http://dx.doi.org/10.1109/LCN.2006.322215},
tags = {case study, security},
researchr = {https://researchr.org/publication/GhindiciGSLT06},
cites = {0},
citedby = {0},
pages = {1000-1007},
booktitle = {LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006},
publisher = {IEEE Computer Society},
}