Temporal Verification in Secure Group Communication System Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Benjamin Fontan' in GoogleThis author has not been identified. Look up 'Sara Mota' in GoogleThis author has not been identified. Look up 'Pierre de Saqui-Sannes' in GoogleThis author has not been identified. Look up 'Thierry Villemur' in Google

runs on WebDSL