DocumentCode
2840173
Title
The verification of secure distributed systems
Author
Alves-Foss, J. ; Levitt, K.
Author_Institution
Div. of Comput. Sci., California Univ., Davis, CA, USA
fYear
1991
fDate
Feb. 25 1991-March 1 1991
Firstpage
177
Lastpage
184
Abstract
The authors discuss the design issues related to secure distributed systems, particularly with respect to verification, and survey a few systems to see how they address these issues. They present specification and verification techniques that are applicable to secure distributed systems, emphasizing an approach to achieving a verified design through the hook-up of verified components. Finally, they discuss how this approach can be applied to a secure distributed system design.<>
Keywords
distributed processing; formal specification; program verification; security of data; secure distributed systems; specification; verification; verified design; Books; Communication system security; Computer science; Computer security; File servers; Information security; Multilevel systems; Network servers; Operating systems; Protection;
fLanguage
English
Publisher
ieee
Conference_Titel
Compcon Spring '91. Digest of Papers
Conference_Location
San Francisco, CA, USA
Print_ISBN
0-8186-2134-6
Type
conf
DOI
10.1109/CMPCON.1991.128803
Filename
128803
Link To Document