SDTP: a verified architecture for secure distributed transaction processing

Author

Stavridou, Victoria ; Riemenschneider, R.A. ; Gilham, Fred

Author_Institution

Syst. Design Lab., SRI Int., Menlo Park, CA, USA

Volume

2

fYear

2000

fDate

6/22/1905 12:00:00 AM

Firstpage

369

Abstract

SDTP is an architecture for secure distributed transaction processing. It is based upon X/Open´s standard architecture for distributed transaction processing. In addition to the ACID (atomicity, consistency, isolation, and durability) properties provided by X/Open´s architecture, SDTP guarantees that the Simple Security Property and the *-Property of the Bell-LaPadula model are satisfied. We have built a reference implementation of SDTP, formally proven the security properties of the implementation using novel verification techniques, and constructed two prototype applications of the architecture. The first application is a law enforcement tracking system, inspired by the FBI´s Field Office Information Management System. The second application is an intrusion detection correlation system

Keywords

distributed databases; distributed processing; security of data; software architecture; transaction processing; Bell-LaPadula model; SDTP; Simple Security Property; X/Open; atomicity; consistency; durability; intrusion detection correlation system; isolation; law enforcement tracking system; secure distributed transaction processing; security properties; verified architecture; Application software; Communication system security; Computer architecture; Desktop publishing; Information security; Intrusion detection; Laboratories; Prototypes; Resource management; Software architecture;

fLanguage

English

Publisher

ieee

Conference_Titel

DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings

Conference_Location

Hilton Head, SC

Print_ISBN

0-7695-0490-6

Type

conf

DOI

10.1109/DISCEX.2000.821534

Filename

821534