1
Verification of offline security: a case study on SAT | |
Author | Ramya, Parupudi Swathi |
Call Number | AIT RSPR no.CS-18-04 |
Subject(s) | Prolog (Computer program language) Computer networks--Security measures Computer security |
Note | A research study submitted in partial fulfillment of the requirements for the degree of Master of Engineering in Computer Science, School of Engineering and Technology |
Publisher | Asian Institute of Technology |
Series Statement | Research studies project report ; no. CS-18-04 |
Abstract | SAT exam has been recognized for more than seven decades. It gives a standardized platform for both college and students. Universities can determine which student will shine on their campus and students can showcase their skills and aptitude so that the universities can approach them. Though SAT tries to give a standard platform, some of the test takers or organizations seeking profit try to sabotage it with trickery. SAT security’s main objective is to ensure authentic students write the exam on their own without gaining any unfair advantage. In this Research study, we study the rules and violation and see if we can model them. After the system is modelled into state transition and relational model, an implementation using LOGIC programming language, PROLOG, is done. We finally conclude it with partial satisfactory of rules for SAT security on Communication module. |
Year | 2018 |
Corresponding Series Added Entry | Asian Institute of Technology. Research studies project report ; no. CS-18-04 |
Type | Research Study Project Report (RSPR) |
School | School of Engineering and Technology (SET) |
Department | Department of Information and Communications Technologies (DICT) |
Academic Program/FoS | Computer Science (CS) |
Chairperson(s) | Phan Minh Dung; |
Examination Committee(s) | Chutiporn Anutariya;Bohez, Erik L.J; |
Scholarship Donor(s) | Asian Institute of Technology Fellowship; |
Degree | Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 2018 |