Enterprise Access Control Policy Engineering Framework

Enterprise Access Control Policy Engineering Framework

Arjmand Samuel (Purdue University, USA)
Copyright: © 2009 |Pages: 10
DOI: 10.4018/978-1-59904-855-0.ch028
OnDemand PDF Download:


This chapter outlines the overall access control policy engineering framework in general and discusses the subject of validation of access control mechanisms in particular. Requirements of an access control policy language are introduced and their underlying organizational philosophy is discussed. Next, a number of access control models are discussed and a brief outline of various policy verification approaches is presented. A methodology for validation of access control implementations is presented along with two approaches for test suite generation, that is, complete FSM based and heuristics based. This chapter is aimed at providing an overview of the access control policy engineering activity and in-depth view of one approach to device test cases for an access control implementation mechanism.
Chapter Preview


Security requirements of information systems include protection against unauthorized access to or modification of information, and against denial of service to authorized users. Access control is the key security service providing the foundation for information and system security. An access control implementation is responsible for granting or denying authorizations after the identity of a requesting user has been validated through an appropriate authentication mechanism. Operating systems, database systems, and other applications employ policies to constrain access to application functionality, file systems, and data. Often these policies are implemented in software that serve as front end guard to protected resources, or is interwoven within the application. Examples of application of such controls in securing system resources abound in commercial and research domains (Bhatti, 2005; Notargiacomo, 1996; Tripathi, 2003; XACML, 2005).

A number of reported common vulnerabilities and exposures are related to design and/or coding flaws in access control modules of an application. Testing remains indispensable despite advances in the formal verification of secure systems (Ahmed, 2003; Alpern, 1989; Clarke, 2000; Hansen, 2005; Landwehr, 1986; Lupu, 1999), and in static or dynamic program-analysis based techniques (Cowan, 2003; Livshits, 2005; Martin, 2005) because verification only guarantees correctness of the design under certain assumptions. Any faults in the implementation due to, for example, coding errors, incorrect configuration, and hidden or “backdoor” functionality could jeopardize the effectiveness of corresponding (access control) specification (Thompson, 2003).

Key Terms in this Chapter

Definition 2: Complete FSM based test suite generation technique. In this procedure tests are generated from the complete FSM, derived from the policy P, as per the steps outlined in (Chow, 1978). The complexity of this procedure not only depends on the size of M but also on the observability of states in the ACUT.

PR Assignment Faults: Like two previous kind of faults these faults can also be categorized into two types, PR1 and PR2 faults, where former are the faults in which a permission-role assignment allowed by P actually does not exist in the ACUT’ and later are the one in which the situation is otherwise, that is, such a permission-role assignment exists in the ACUT’ which is not permitted by the policy. In case of PR1 faults the authorized permission-role assignment, required to be valid in the ACUT’, can be either by virtue of direct permission assignment to the role or assignment through inheritance semantics.

UR Activation Faults: These faults can also be classified into two types: UA1—faults because of which an authorized user is restricted from activating a role or the activated role is improperly deactivated, UA2—faults by virtue of which an unauthorized user can activate a role. As noted previously, an authorized user can activate a role either by virtue of direct user assignment to that role or by being assigned to a role senior to the target role in A-hierarchy semantics. UA2 fault in an ACUT’ can result into serious compromise of confidentiality and integrity of the system resources because, in RBAC users are only able to access system resources through the mechanism of user-role activations.

Definition 1: RBAC Fault Model; The RBAC fault model consists of three types of faults: user-role assignment, user-role activation, and permission-role assignment.

Definition 3: Heuristics based test suite generation technique. In this procedure heuristics are used to reduce the size of the model and of the test set. These heuristics are similar to the concept of state abstractions as used in various verification techniques.

UR Assignment Faults: These faults are subsequently classified into two types: UR1—faults because of which an authorized user is restricted from assignment to a role or gets improperly de-assigned from the assigned role, UR2—faults by virtue of which an unauthorized user is assigned to a role. As already mentioned before, authorized user imply such a user who can be assigned to or can activate a role under R(P). UR1 fault in an ACUT’ constrain a user from accessing the authorized permissions, whereas UR2 fault allows access to unauthorized permissions.

Complete Chapter List

Search this Book:
Editorial Advisory Board
Table of Contents
Jatinder N. D. Gupta, Sushil Sharma
Jatinder N. D. Gupta, Sushil Sharma
Chapter 1
Xin Luo, Qinyu Liao
In computer virology, advanced encryption algorithms, on the bright side, can be utilized to effectively protect valuable information assets of... Sample PDF
Ransomware: A New Cyber Hijacking Threat to Enterprises
Chapter 2
Joon S. Park
E-commerce has grown immensely with the increase in activity on the Internet, and this increase in activity, while immeasurable, has also presented... Sample PDF
E-Commerce: The Benefits, Security Risks, and Countermeasures
Chapter 3
Pamela Ajoku
Even though weapons and money are considered important factors for running a modern world, at the end of the day, it is all about controlling and... Sample PDF
Information Warfare: Survival of the Fittest
Chapter 4
Gaeil An, Joon S. Park
In this chapter, we discuss the evolution of the enterprise security federation, including why the framework should be evolved and how it has been... Sample PDF
Evolution of Enterprise Security Federation
Chapter 5
Roy Ng
The hypergrowth of computing and communications technologies increases security vulnerabilities to organizations. The lack of resources training... Sample PDF
A Holistic Approach to Information Security Assurance and Risk Management in an Enterprise
Chapter 6
John D’Arcy, Anat Hovav
A number of academic studies that focus on various aspects of information security management (ISM) have emerged in recent years. This body of work... Sample PDF
An Integrative Framework for the Study of Information Security Management Research
Chapter 7
Aditya Ponnam
Organizations worldwide recognize the importance of a comprehensive, continuously evolving risk assessment process, built around a solid risk... Sample PDF
Information Systems Risk Management: An Audit and Control Approach
Chapter 8
Udaya Kiran Tupakula
In this chapter we discuss Distributed Denial of Service (DDoS) attacks in networks such as the Internet, which have become significantly prevalent... Sample PDF
Distributed Denial of Service Attacks in Networks
Chapter 9
Andy Luse
This chapter describes various firewall conventions, and how these technologies operate when deployed on a corporate network. Terms associated with... Sample PDF
Firewalls as Continuing Solutions for Network Security
Chapter 10
Jamie Twycross
The immune system provides a rich metaphor for computer security: anomaly detection that works in nature should work for machines. However, early... Sample PDF
An Immune-Inspired Approach to Anomaly Detection
Chapter 11
Wasim A. Al-Hamdani
This chapter introduces cryptography from information security phase rather than from deep mathematical and theoretical aspects, along with... Sample PDF
Cryptography for Information Security
Chapter 12
Carlo Belletini
The chapter introduces and describes representative defense mechanisms to protect from both basic and advanced exploitation of low-level coding... Sample PDF
Memory Corruption Attacks, Defenses, and Evasions
Chapter 13
Dalila Boughaci, Brahim Oubeka, Abdelkader Aissioui, Habiba Drias, Belaïd Benhamou
This chapter presents the design and the implementation of a decentralized firewall. The latter uses autonomous agents to coordinately control the... Sample PDF
Design and Implementation of a Distributed Firewall
Chapter 14
Tom Coffey
This chapter concerns the correct and reliable design of modern security protocols. It discusses the importance of formal verification of security... Sample PDF
A Formal Verification Centred Development Process for Security Protocols
Chapter 15
Ahsan Habib
This chapter develops a distributed monitoring scheme that uses edge-to-edge measurements to identify congested links and capture the misbehaving... Sample PDF
Edge-to-Edge Network Monitoring to Detect Service Violations and DoS Attacks
Chapter 16
Doug White, Alan Rea
Hard disk wipes are a crucial component of computing security. However, more often than not, hard drives are not adequately processed before either... Sample PDF
A "One-Pass" Methodology for Sensitive Data Disk Wipes
Chapter 17
Lijun Liao
This chapter deals with the issues concerning e-mail communication security. We analyze the most popular security mechanisms and standards related... Sample PDF
Securing E-Mail Communication with XML Technology
Chapter 18
Li Yang, Raimund K. Ege, Lin Luo
This chapter describes our approach to handle security in a complex Distributed Virtual Environment (DVE). The modules of such an environment all... Sample PDF
Aspect-Oriented Analysis of Security in Distributed Virtual Environment
Chapter 19
Information Availability  (pages 230-239)
Deepak Khazanchi
This chapter describes the concept of information availability (IAV) which is considered an important element of information security. IAV is... Sample PDF
Information Availability
Chapter 20
Siraj Ahmed Shaikh
The purpose of this chapter is to introduce the reader to the research area of formal analysis of authentication protocols. It briefly introduces... Sample PDF
Formal Analysis and Design of Authentication Protocols
Chapter 21
Rajeev R. Raje, Alex Crespi, Omkar J. Tilak, Andrew M. Olson
Component-based software development offers a promising technique for creating distributed systems. It does require a framework for specifying... Sample PDF
Access Control Frameworks for a Distributed System
Chapter 22
Manish Gupta, JinKyu Lee, H. R. Rao
The Internet has emerged as the dominant medium in enabling banking transactions. Adoption of e-banking has witnessed an unprecedented increase over... Sample PDF
Implications of FFIEC Guidance on Authentication in Electronic Banking
Chapter 23
Sue Conger
Historically, companies have automated a security model that analogizes the concept of a “guardian” who monitors incoming and outgoing activities... Sample PDF
Disruptive Technology Impacts on Security
Chapter 24
Sushma Mishra
Internal auditing has become increasingly important in current business environments. In this era of the Sarbanes- Oxley Act and other similar... Sample PDF
Internal Auditing for Information Assurance
Chapter 25
William H. Friedman
This chapter is management oriented. It first proposes a general theoretical context for IT disasters within the wider class of all types of... Sample PDF
IT Continuity in the Face of Mishaps
Chapter 26
Yvette Ghormley
This chapter describes the tools that businesses can use to create a Business Continuity and Disaster Recovery Plan. Utilizing business modeling... Sample PDF
Business Continuity and Disaster Recovery Plans
Chapter 27
Yvette Ghormley
The number and severity of attacks on computer and information systems in the last two decades has steadily risen and mandates the use of security... Sample PDF
Security Policies and Procedures
Chapter 28
Arjmand Samuel
This chapter outlines the overall access control policy engineering framework in general and discusses the subject of validation of access control... Sample PDF
Enterprise Access Control Policy Engineering Framework
Chapter 29
Sushil K. Sharma, Jatinder N.D. Gupta
The purpose of the information security policy is to establish an organization-wide approach to prescribe mechanisms that help identify and prevent... Sample PDF
Information Security Policies: Precepts and Practices
Chapter 30
Paul D. Witman
This chapter provides a set of guidelines to assist information assurance and security researchers in creating, negotiating, and reviewing... Sample PDF
A Guide to Non-Disclosure Agreements for Researchers
Chapter 31
Omkar J. Tilak
Software realization of a large-scale Distributed Computing System (DCS) is achieved through the Componentbased Software Development (CBSD)... Sample PDF
Assurance for Temporal Compatibility Using Contracts
Chapter 32
Arjan Durresi
The latest estimates suggest that there are over two billion cell phone users worldwide. The massive worldwide usage has prompted technological... Sample PDF
Spatial Authentication Using Cell Phones
Chapter 33
Sushil K. Sharma, Jatinder N.D. Gupta, Ajay K. Gupta
The ability to perform E-Commerce over the Internet has become the driver of the new digital economy. As it has opened up opportunities for... Sample PDF
Plugging Security Holes in Online Environment
Chapter 34
Erik Graham, Paul John Steinbart
This chapter presents a step-by-step approach to improving the security of wireless networks. It describes the basic threats to achieving the... Sample PDF
Six Keys to Improving Wireless Security
Chapter 35
Robert W. Proctor, E. Eugene Schultz, Kim-Phuong L. Vu
Many measures that enhance information security and privacy exist. Because these measures involve humans in various ways, their effectiveness... Sample PDF
Human Factors in Information Security and Privacy
Chapter 36
Wm. Arthur Conklin
Software defects lead to security vulnerabilities, which cost businesses millions of dollars each year and threaten the security of both individuals... Sample PDF
Threat Modeling and Secure Software Engineering Process
Chapter 37
Christopher M. Botelho, Joseph A. Cazier
The threat of social engineering attacks is prevalent in today’s society. Even with the pervasiveness of mass media’s coverage of hackers and... Sample PDF
Guarding Corporate Data from Social Engineering Attacks
Chapter 38
Tom Clark
Data storage is playing an increasingly visible role in securing application data in the data center. Today virtually all large enterprises and... Sample PDF
Data Security for Storage Area Networks
Chapter 39
Edgar Weippl
This chapter outlines advanced options for security training. It builds on previous publications (Weippl 2005, 2006) and expands them by including... Sample PDF
Security Awareness: Virtual Environments and E-Learning
Chapter 40
Manish Gupta
Enterprises are increasingly interested in new and cost effective technologies to leverage existing investments in IT and extend capabilities to... Sample PDF
Security-Efficient Identity Management Using Service Provisioning (Markup Language)
Chapter 41
Dwayne Stevens, David T. Green
Voice over Internet Protocol (VoIP) networks signal an evolution in telecommunications that is accelerating the convergence of the Internet and the... Sample PDF
A Strategy for Enterprise VoIP Security
Chapter 42
Jose M. Torres
This chapter presents an Information Systems Security Management Framework (ISSMF) which encapsulates eleven Critical Success Factors (CSFs) along... Sample PDF
Critical Success Factors and Indicators to Improve Information Systems Security Management Actions
Chapter 43
Rebecca H. Rutherfoord
This chapter will deal with issues of privacy, societal, and ethical concerns in enterprise security. Security for a company is defined as... Sample PDF
Privacy, Societal, and Ethical Concerns in Security
Chapter 44
Rodolfo Villarroel, Eduardo Fernández-Medina, Juan Trujillo, Mario Piattini
This chapter presents an approach for designing secure Data Warehouses (DWs) that accomplish the conceptual modeling of secure DWs independently... Sample PDF
An MDA Compliant Approach for Designing Secure Data Warehouses
Chapter 45
Hai Wang
This chapter introduces the survivability evaluation, especially on the corresponding evaluation criteria and modeling techniques. The content of... Sample PDF
Survivability Evaluation Modeling Techniques and Measures
Chapter 46
Art Taylor
With the rise of the Internet, computer systems appear to be more vulnerable than ever from security attacks. Much attention has been focused on the... Sample PDF
The Last Line of Defense: A Comparison of Windows and Linux Authentication and Authorization Features
Chapter 47
M. Pradhan
Information Technology can be used at all levels to counter attack bioterrorism. This article gives an overview of use of Information Technology for... Sample PDF
Bioterrorism and Biosecurity
About the Contributors