Globally reasoning about localised security policies in distributed systems

Alejandro Mario Hernandez

In this report, we aim at establishing proper ways for model checking the global security of distributed systems, which are designed consisting of set of localised security policie…