文章基本信息

标题：Formal Verification of a Secure Model for Building E-Learning Systems
本地全文：下载
作者：Farhan M Al Obisat ; Hazim S. AlRawashdeh
期刊名称：International Journal of Advanced Computer Science and Applications(IJACSA)
印刷版ISSN：2158-107X
电子版ISSN：2156-5570
出版年度：2016
卷号：7
期号：6
DOI：10.14569/IJACSA.2016.070649
出版社：Science and Information Society (SAI)
摘要：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
关键词：thesai; IJACSA; thesai.org; journal; IJACSA papers; Formal verification; SPIN Model Checking; E-content; E-protection; Encryption and Decryption; Security of e-content