1 AIT Asian Institute of Technology

Verification of offline security: a case study on SAT

AuthorRamya, Parupudi Swathi
Call NumberAIT RSPR no.CS-18-04
Subject(s)Prolog (Computer program language)
Computer networks--Security measures
Computer security

NoteA research study submitted in partial fulfillment of the requirements for the degree of Master of Engineering in Computer Science, School of Engineering and Technology
PublisherAsian Institute of Technology
Series StatementResearch studies project report ; no. CS-18-04
AbstractSAT 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.
Year2018
Corresponding Series Added EntryAsian Institute of Technology. Research studies project report ; no. CS-18-04
TypeResearch Study Project Report (RSPR)
SchoolSchool of Engineering and Technology (SET)
DepartmentDepartment of Information and Communications Technologies (DICT)
Academic Program/FoSComputer Science (CS)
Chairperson(s)Phan Minh Dung;
Examination Committee(s)Chutiporn Anutariya;Bohez, Erik L.J;
Scholarship Donor(s)Asian Institute of Technology Fellowship;
DegreeResearch Studies Project Report (M. Eng.) - Asian Institute of Technology, 2018


Usage Metrics
View Detail0
Read PDF0
Download PDF0