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]
Abstract is missing.