Title :
The verification of secure distributed systems
Author :
Alves-Foss, J. ; Levitt, K.
Author_Institution :
Div. of Comput. Sci., California Univ., Davis, CA, USA
fDate :
Feb. 25 1991-March 1 1991
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;
Conference_Titel :
Compcon Spring '91. Digest of Papers
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-8186-2134-6
DOI :
10.1109/CMPCON.1991.128803