Formal Verification of a Secure Model for Building E-Learning Systems

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

@article{Obisat2016,
  title     = {Formal Verification of a Secure Model for Building E-Learning Systems},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {7},
  number    = {6},
  year      = {2016},
  publisher = {The Science and Information Organization},
  author    = {Farhan M Al Obisat and Hazim S. AlRawashdeh},
  doi       = {10.14569/IJACSA.2016.070649},
  url       = {https://doi.org/10.14569/IJACSA.2016.070649}
}