Formal Verification of a Secure Model for Building E-Learning Systems
International journal of advanced computer science and applications/International journal of advanced computer science & applications