Title :
The cascading problem for interconnected networks
Author :
Millen, Jonathan K. ; Schwartz, Martin W.
Author_Institution :
MITRE Corp., Bedford, MA, USA
Abstract :
One potential problem that must be faced when using the interconnected accredited system approach of the trusted network interpretation is cascading. The authors introduce some proofs showing that a simple nesting condition is sufficient and sometimes necessary to prevent cascading. They give a Prolog program that finds all cascading paths
Keywords :
PROLOG listings; computer networks; network operating systems; security of data; Prolog program; accredited system; cascading problem; interconnected networks; nesting condition; trusted network interpretation; Accreditation; Computer networks; Contracts; Joining processes; Power system faults; Power system protection; Risk analysis; Testing; US Government;
Conference_Titel :
Aerospace Computer Security Applications Conference, 1988., Fourth
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-0895-1
DOI :
10.1109/ACSAC.1988.113347
