Process compliance checking using model checker

Computer ethics is a branch of applied ethics that considers, ethical issues raised or significantly amplified by computer technology. Ethics in computing involves understanding the basics, social-justice issues, commerce, speech issues, privacy, intellectual property and risks. Since early 1990's itself, this issue has been brought into notice and many efforts has been made to address. The effectiveness of all implementation to ensure the compliance to ethics is still a point to ponder in this era, due to the very advancements in technology trends like SMAC, IoT and HPC/HTC. This paper suggests an integrated framework for Confidentiality, Integrity and Availability (CIA) [6] compliance needs of data of an organization. The integration includes the process, people and technologies which consumes the data in various forms. Also, this paper briefs the implementation of the compliance checking of process using model checker tool UPPAAL SMC.