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]
No reviews for this publication, yet.