Earticle

초록

영어

In this paper we use Security Evaluation Criteria as basis to develop the Network access control model for enterprise wide network computing environment. The Network access control model addresses both the access control and information flow control requirements of the enterprise network system. The security architecture of the model attempts to ensure authorized access to network resources and secure flow of information between network entities. The underlying concept of the Network access control model relies on the separation of the access control mechanism from the access control policy. This enables support for multiple access control policies within a single model specification. A further advantage of Network Access control model is that it is highly extensible, since it can be augmented with any new policy that a specific application or a user may require. The precision property is satisfied as network access control model is written in a formal mathematical notation. The property of simplicity is satisfied as only the security properties related to network computing system are modeled.

목차

Abstract
 1. Introduction
  1.1. Motivation and Related Work
 2. Network System Security Issues and Challenges
  2.1 Network System Evaluation Criteria
 3. The Formal Model Framework
  3.1 Components of Formal Network Security Policy Model
 4. Formal Security Policy Model – A Case Study
  4.1. Formal State Model - Abstract State
  4.2. Model State Variables
  4.3. Secure State
  4.4. Network Operation Constraints
 5. Model Verification
 6. Conclusion
 References

키워드

저자

• Manpreet Singh [ Punjabi University Patiala ]
• Manjeet Singh Patterh [ Punjabi University Patiala ]
• Tai-Hoon Kim [ Hannam University, Daejeon, 306-819, Korea ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Security and Its Applications

• 간기

  격월간

• pISSN

  1738-9976

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605