Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213259 ◽

2003 ◽

Author(s):

S. Jajodia ◽

V. Atluri

Keyword(s):

Concurrent Execution ◽

Secure Databases

Download Full-text

Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/69.542034 ◽

1996 ◽

Vol 8 (5) ◽

pp. 839-854 ◽

Author(s):

V. Atluri ◽

S. Jajodia ◽

E. Bertino

Keyword(s):

Concurrent Execution ◽

Secure Databases

Download Full-text

On the concurrent execution of model transformations with Linda

Proceedings of the Workshop on Scalability in Model Driven Engineering - BigMDE '13 ◽

10.1145/2487766.2487770 ◽

2013 ◽

Author(s):

Loli Burgueño ◽

Javier Troya ◽

Manuel Wimmer ◽

Antonio Vallecillo

Keyword(s):

Model Transformations ◽

Concurrent Execution

Download Full-text

Restructuring Lisp programs for concurrent execution

Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems - PPEALS '88 ◽

10.1145/62115.62126 ◽

1988 ◽

Author(s):

James R. Larus ◽

Paul N. Hilfinger

Keyword(s):

Concurrent Execution

Download Full-text

Mining Patterns from Concurrent Execution Traces

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2021.3109513 ◽

2021 ◽

pp. 1-1

Author(s):

Md Rubel Ahmed ◽

Hao Zheng ◽

Parijat Mukherjee ◽

Mahesh C. Ketkar ◽

Jin Yang

Keyword(s):

Concurrent Execution ◽

Execution Traces

Download Full-text

An object-oriented environment for specification and concurrent execution of genetic algorithms

Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum) - OOPSLA '92 ◽

10.1145/157709.157742 ◽

1992 ◽

Author(s):

L. Lemarchand ◽

A. Plantec ◽

B. Pottier ◽

S. Zanati

Keyword(s):

Genetic Algorithms ◽

Object Oriented ◽

Concurrent Execution

Download Full-text

Concurrency control in multilevel-secure databases based on replicated architecture

ACM SIGMOD Record ◽

10.1145/93605.98725 ◽

1990 ◽

Vol 19 (2) ◽

pp. 153-162 ◽

Author(s):

Boris Kogan ◽

S. Jajodia

Keyword(s):

Concurrency Control ◽

Secure Databases

Download Full-text

PSIM-a simulator for concurrent execution of net-based programs

IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. Proceedings ◽

10.1109/pacrim.1995.519583 ◽

2002 ◽

Author(s):

W.B. Joerg ◽

K.T. Campbell

Keyword(s):

Concurrent Execution

Download Full-text

Transaction Processing in Multilevel Secure Databases

Multilevel Secure Transaction Processing - Advances in Database Systems ◽

10.1007/978-1-4615-4553-8_3 ◽

2000 ◽

pp. 21-41

Author(s):

Vijay Atluri ◽

Sushil Jajodia ◽

Binto George

Keyword(s):

Transaction Processing ◽

Secure Databases

Download Full-text

Multilevel secure databases: a new approach

IEEE Proceedings of the SOUTHEASTCON '91 ◽

10.1109/secon.1991.147845 ◽

2002 ◽

Author(s):

C. Glover ◽

R. Mukkamala

Keyword(s):

New Approach ◽

Secure Databases

Download Full-text

A fair locking protocol for multilevel secure databases

Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238) ◽

10.1109/csfw.1998.683167 ◽

2002 ◽

Author(s):

S. Jajodia ◽

L. Mancini ◽

S. Setia

Keyword(s):

Locking Protocol ◽

Secure Databases

Download Full-text