A model checking-based approach for security policy verification of mobile systems
scientific article; zbMATH DE number 6052549
scientific article