Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur. Temporal Verification in Secure Group Communication System Design. In Lourdes Peñalver, Oana Andreea Dini, Judie Mulholland, Octtavio Nieto-Taladriz, editors, Proceedings of the First International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2007, October 14-20, 2007, Valencia, Spain. pages 175-180, IEEE, 2007. [doi]
@inproceedings{FontanMSV07,
title = {Temporal Verification in Secure Group Communication System Design},
author = {Benjamin Fontan and Sara Mota and Pierre de Saqui-Sannes and Thierry Villemur},
year = {2007},
doi = {10.1109/SECUREWARE.2007.4385330},
url = {http://dx.doi.org/10.1109/SECUREWARE.2007.4385330},
tags = {design},
researchr = {https://researchr.org/publication/FontanMSV07},
cites = {0},
citedby = {0},
pages = {175-180},
booktitle = {Proceedings of the First International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2007, October 14-20, 2007, Valencia, Spain},
editor = {Lourdes Peñalver and Oana Andreea Dini and Judie Mulholland and Octtavio Nieto-Taladriz},
publisher = {IEEE},
isbn = {0-7695-2989-5},
}