Title :
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
fDate :
6/22/1905 12:00:00 AM
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;
Conference_Titel :
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location :
Hilton Head, SC
Print_ISBN :
0-7695-0490-6
DOI :
10.1109/DISCEX.2000.821534
