Database Consistency and Security

Abstract

This report addresses the issues of consistency in Secure Distributed Systems (SDS) and focuses on the special relationship between consistency and security in an SDS, their conflicts and possible trade-offs. It establishes a unified framework for treatment of consistency and security in a coherent and flexible manner. It identifies approaches to consistency from a variety of disciplines and proposes how these approaches may be useful in the realm of Secure Distributed Systems. Finally, attempts at formally specifying consistency conditions are reported. These specifications have highlighted strengths and weaknesses some existing tools for formal specification and have led to the identification of new features that are required for the successful formal specification of consistent secure distributed systems. (kr)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1989
Accession Number
ADA216523

Entities

People

  • A. P. Buchmann
  • B. T. Blaustein
  • J. D. Halpern
  • S. Owre

Tags

Communities of Interest

  • C4I
  • Cyber
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Computer Science
  • Computers
  • Contractors
  • Contracts
  • Control Systems
  • Cybersecurity
  • Database Management Systems
  • Databases
  • Department Of Defense
  • Engineering
  • Language
  • Security
  • Software Development
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Theoretical Analysis.