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

• Main Authors: Mat Isa, Mohd Anuar, Mahmod, Ramlan, Udzir, Nur Izura, Ab Manan, Jamalul-lail, Dehghantanha, Ali, Shamsuddin, Solahuddin
• Format: Article
• Language: English
• Published: World Academic Press, World Academic Union 2017
• Online Access: 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; http://psasir.upm.edu.my/id/eprint/60651/; http://www.wjms.org.uk/

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...