The cascading problem for interconnected networks

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.<
>