Security Oriented Analysis of B92 by Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Elboukhari, Abdelmalek Azizi, Mostafa Azizi. Security Oriented Analysis of B92 by Model Checking. In Akshai Aggarwal, Mohamad Badra, Fabio Massacci, editors, NTMS 2008, 2nd International Conference on New Technologies, Mobility and Security, November 5-7, 2008, Tangier, Marrocco. pages 1-6, IEEE, 2008. [doi]

This author has not been identified. Look up 'Mohamed Elboukhari' in GoogleThis author has not been identified. Look up 'Abdelmalek Azizi' in GoogleThis author has not been identified. Look up 'Mostafa Azizi' in Google

runs on WebDSL