Temporal Verification in Secure Group Communication System Design

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]

Abstract

Abstract is missing.