A Framework for Misconfiguration Diagnosis in Interconnected Multiparty Systems

Most large systems involve multiple zones with distinct ownership or control and one or more such zones must be traversed by the transactions. Therefore, in case of misconfigurations, it is necessary to conduct tests that go across parties. Such tests are complex as they must consider composition of test functionalities provided by each party and the feasible tests must abide by the access restrictions. In this paper we propose a framework for defining test functionalities their composition, and their access control. We then discuss an efficient algorithm to determine the realization of the given test via valid compositions of individual functionalities in a way to minimize the number of parties involved.