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}, }