The cascading problem for interconnected networks
Jonathan K. Millen, M.W. Schwartz · 2003
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.>