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

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

Full description

Bibliographic Details
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

Internet

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

Similar Items