Future of Information and Communication Conference (FICC) 2021
29-30 April 2021
Publication Links
IJACSA
Special Issues
Computing Conference 2021
Intelligent Systems Conference (IntelliSys) 2021
Future Technologies Conference (FTC) 2021
Future of Information and Communication Conference (FICC) 2021
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJACSA.2016.070649
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 7 Issue 6, 2016.
Abstract: Internet is considered as common medium for E-learning to connect several parties with each other (instructors and students) as they are supposed to be far away from each other. Both wired and wireless networks are used in this learning environment to facilitate mobile access to educational systems. This learning environment requires a secure connection and data exchange. An E-learning model was implemented and evaluated by conducting student’s experiments. Before the approach is deployed in the real world a formal verification for the model is completed which shows that unreachability case does not exist. The model in this paper which is concentrated on the security of e-content has successfully validated the model using SPIN Model Checker where no errors were found
Farhan M Al Obisat and Hazim S. AlRawashdeh, “Formal Verification of a Secure Model for Building E-Learning Systems” International Journal of Advanced Computer Science and Applications(IJACSA), 7(6), 2016. http://dx.doi.org/10.14569/IJACSA.2016.070649
@article{Obisat2016,
title = {Formal Verification of a Secure Model for Building E-Learning Systems},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2016.070649},
url = {http://dx.doi.org/10.14569/IJACSA.2016.070649},
year = {2016},
publisher = {The Science and Information Organization},
volume = {7},
number = {6},
author = {Farhan M Al Obisat and Hazim S. AlRawashdeh}
}