Sciweavers

Share
IJNSEC
2010

Formal Specification of Common Criteria Based Access Control Policy Model

9 years 9 months ago
Formal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access control mechanism is identified as one of the major causes that facilitated IT sabotage. In this paper we propose a network access control meta model as per ISO/IEC security evaluation criteria - Common Criteria to provide a framework for implementing an Insider threat protection security solution for network computing environment. We used formal specification notation language Z to specify the proposed model. The paper concludes with a case study along with model verification.
Manpreet Singh, Manjeet S. Patterh
Added 18 May 2011
Updated 18 May 2011
Type Journal
Year 2010
Where IJNSEC
Authors Manpreet Singh, Manjeet S. Patterh
Comments (0)
books