Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Hybrid concurrency control for abstract data types
Journal of Computer and System Sciences
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
An introduction to formal specification and Z
An introduction to formal specification and Z
Database transaction models for advanced applications
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Information Sciences—Informatics and Computer Science: An International Journal
Towards usage control models: beyond traditional access control
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Exploiting transaction semantics in multidatabase systems
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Ensuring Atomicity of Multilevel Transactions
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
A lattice-based approach for updating access control policies in real-time
Information Systems
Ontology-based knowledge management for joint venture projects
Expert Systems with Applications: An International Journal
Hi-index | 0.01 |
Access control policies are security policies that govern access to resources. The need for real-time update of such policies while they are in effect and enforcing the changes immediately, arise in many scenarios. Consider, for example, a military environment responding to an international crisis, such as a war. In such situations, countries change strategies necessitating a change of policies. Moreover, the changes to policies must take place in real-time while the policies are in effect. In this paper we address the problem of real-time update of access control policies in the context of a database system. Access control policies, governing access to the data objects, are specified in the form of policy objects. The data objects and policy objects are accessed and modified through transactions. We consider an environment in which different kinds of transactions execute concurrently some of which may be policy update transactions. We propose algorithms for the concurrent and real-time update of security policies. The algorithms differ on the basis of the concurrency provided and the semantic knowledge used.