UPM Institutional Repository

A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA)


Citation

Mat Isa, Mohd Anuar and Mahmod, Ramlan and Udzir, Nur Izura and Ab Manan, Jamalul-lail and Dehghantanha, Ali and Shamsuddin, Solahuddin (2017) A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA). World Journal of Modelling and Simulation, 13 (3). 173 - 182. ISSN 1746-7233; ESSN: 2515-1754

Abstract

Common Criteria (CC) is an international standard body for certifying security products and services. CC is used for information technology security evaluation that covers generic security model, security functional and security assurance components. The standard is published to unify pre-existing security standard for users, vendors, manufactures (industries) and government in using standard security requirements and evaluations. This publication is the first attempt in an information security research that is to CCRA model and simulates it. The purpose of this research work is to help CC’s stakeholders to further understand CC’s framework using a modeling and simulation. The CCRA model will deliver a generic model of CC relationships between a product manufacturer, product authorizer and product consumer in the CC’s supply chains. We use Event-B as modeling language (notation), Atelier-B as theorem prover and ProB as a simulation tool. We also provide a case study for a simulation.


Download File

[img] Text
A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA).pdf

Download (98kB)
Official URL or Download Paper: http://www.wjms.org.uk/

Additional Metadata

Item Type: Article
Divisions: Faculty of Computer Science and Information Technology
Publisher: World Academic Press, World Academic Union
Keywords: Common criteria; CCRA; Formal methods; Simulation; Verification; International standard
Depositing User: Ms. Nida Hidayati Ghazali
Date Deposited: 19 May 2022 06:45
Last Modified: 19 May 2022 06:45
URI: http://psasir.upm.edu.my/id/eprint/60651
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item