Shafiq Hussain, Muhammad Jamil, Imran Shehzad, and Azka Sarfraz, “INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK”, SES, vol. 3, no. 9, pp. 1587–1595, Sep. 2025.