Automatic test case generation from relational algebra queries. - Wei-Tek Tsai; Dmitry Volovik; Thomas F. Keefe; Mohamed E. Fayad (COMPSAC, 1988)

Security model consistency in secure object-oriented systems. - Thomas F. Keefe; Wei-Tek Tsai (ACSAC, 1989)

Multi-party conflict: the problem and its solutions. - Thomas F. Keefe; Dan Thomsen; Wei-Tek Tsai; M. R. Hansch (ACSAC, 1989)

Prototyping the SODA Model. - Thomas F. Keefe; Wei-Tek Tsai (DBSec, 1989)

SODA: A secure object-oriented database system. - Thomas F. Keefe; Wei-Tek Tsai; Bhavani M. Thuraisingham (Comput. Secur., 1989)

Secure Query-Processing Strategies. - Thomas F. Keefe; Bhavani M. Thuraisingham; Wei-Tek Tsai (Computer, 1989)

Multilevel Secure Database Concurrency Control. - Thomas F. Keefe; Wei-Tek Tsai; Jaideep Srivastava (ICDE, 1990)

Multiversion Concurrency Control for Multilevel Secure Database Systems. - Thomas F. Keefe; Wei-Tek Tsai (S&P, 1990)

Automated Test Case Generation for Programs Specified by Relational Algebra Queries. - Wei-Tek Tsai; Dmitry Volovik; Thomas F. Keefe (IEEE Trans. Software Eng., 1990)

SODA: a security model for object-oriented database management systems. - Thomas F. Keefe (COMPSAC, 1991)

Recovery Management for Multilevel Secure Database Systems. - Iwen E. Kang; Thomas F. Keefe (DBSec, 1992)

On Transaction Processing for Multilevel Secure Replicated Databases. - Iwen E. Kang; Thomas F. Keefe (ESORICS, 1992)

The Concurrency Control and Recovery Problem for Multilevel Update Transactions in MLS System. - Amit G. Mathur; Thomas F. Keefe (CSFW, 1993)

Supporting Reliable and Atomic Transaction Management in Multidatabase Systems. - Iwen E. Kang; Thomas F. Keefe (ICDCS, 1993)

Reconciling Objects and Multilevel Security (Panel). - Thomas F. Keefe (OOPSLA, 1993)

Integrating security technology and object-oriented technology (panel). - Bhavani Thuraisingham; T. C. Ting; Peter J. Sell; Ravi S. Sandhu; Thomas F. Keefe (OOPSLA Addendum, 1993)

Database Concurrency Control in Multilevel Secure Database Management Systems. - Thomas F. Keefe; Wei-Tek Tsai; Jaideep Srivastava (IEEE Trans. Knowl. Data Eng., 1993)

Concurrency control for federated multilevel secure database systems. - Iwen E. Kang; Thomas F. Keefe (CSFW, 1995)

Version pool management in a multilevel secure multiversion transaction manager. - Andrew Warner; Thomas F. Keefe (S&P, 1995)

Transaction Management for Multilevel Secure Replicated Databases. - Iwen E. Kang; Thomas F. Keefe (J. Comput. Secur., 1995)

Covert Channel Secure Hypercube Message Communication. - Sourav Bhattacharya; Thomas F. Keefe; Wei-Tek Tsai (J. Parallel Distributed Comput., 1995)

Multilevel Secure Transaction Processing: Status and Prospects. - Vijayalakshmi Atluri; Sushil Jajodia; Thomas F. Keefe; Catherine D. McCollum; Ravi Mukkamala (DBSec, 1996)

Indexing Management for Distributed Linear Hash Files. - Shang-Sheng Tung; Hongyuan Zha; Thomas F. Keefe (DEXA Workshop, 1996)

The Impact of Multilevel Security on Database Buffer Management. - Andrew Warner; Qiang Li; Thomas F. Keefe; Shankar Pal (ESORICS, 1996)

A multiversion transaction scheduler for centralized multilevel secure database systems. - Thomas F. Keefe; Wei-Tek Tsai (HASE, 1996)

Version Management in the STAR MLS Database System. - Ramprasad Sripada; Thomas F. Keefe (DBSec, 1998)

Multilevel Security Transaction Processing. - Sushil Jajodia; Vijayalakshmi Atluri; Thomas F. Keefe; Catherine D. McCollum; Ravi Mukkamala (J. Comput. Secur., 2001)

Authorization Model for Summary Schemas Model. - Sudsanguan Ngamsuriyaroj; Ali R. Hurson; Thomas F. Keefe (IDEAS, 2002)

Maintaining Consistency of the Security Policy using Timestamp Ordering. - Sudsanguan Ngamsuriyaroj; Ali R. Hurson; Thomas F. Keefe (ITCC, 2002)