A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA)
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 s...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
World Academic Press, World Academic Union
2017
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/60651/ http://psasir.upm.edu.my/id/eprint/60651/1/A%20formal%20veri%EF%AC%81cation%20and%20simulation%20of%20Common%20Criteria%20Recognition%20Arrangement%20%28CCRA%29.pdf |
| _version_ | 1848854245467488256 |
|---|---|
| author | Mat Isa, Mohd Anuar Mahmod, Ramlan Udzir, Nur Izura Ab Manan, Jamalul-lail Dehghantanha, Ali Shamsuddin, Solahuddin |
| author_facet | Mat Isa, Mohd Anuar Mahmod, Ramlan Udzir, Nur Izura Ab Manan, Jamalul-lail Dehghantanha, Ali Shamsuddin, Solahuddin |
| author_sort | Mat Isa, Mohd Anuar |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T11:06:48Z |
| format | Article |
| id | upm-60651 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T11:06:48Z |
| publishDate | 2017 |
| publisher | World Academic Press, World Academic Union |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-606512022-05-19T06:45:00Z http://psasir.upm.edu.my/id/eprint/60651/ A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) Mat Isa, Mohd Anuar Mahmod, Ramlan Udzir, Nur Izura Ab Manan, Jamalul-lail Dehghantanha, Ali Shamsuddin, Solahuddin 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. World Academic Press, World Academic Union 2017 Article PeerReviewed text en http://psasir.upm.edu.my/id/eprint/60651/1/A%20formal%20veri%EF%AC%81cation%20and%20simulation%20of%20Common%20Criteria%20Recognition%20Arrangement%20%28CCRA%29.pdf 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 http://www.wjms.org.uk/ |
| spellingShingle | Mat Isa, Mohd Anuar Mahmod, Ramlan Udzir, Nur Izura Ab Manan, Jamalul-lail Dehghantanha, Ali Shamsuddin, Solahuddin A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title | A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title_full | A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title_fullStr | A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title_full_unstemmed | A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title_short | A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) |
| title_sort | formal verification and simulation of common criteria recognition arrangement (ccra) |
| url | http://psasir.upm.edu.my/id/eprint/60651/ http://psasir.upm.edu.my/id/eprint/60651/ http://psasir.upm.edu.my/id/eprint/60651/1/A%20formal%20veri%EF%AC%81cation%20and%20simulation%20of%20Common%20Criteria%20Recognition%20Arrangement%20%28CCRA%29.pdf |