Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Electronic Notes in Theoretical Computer Science, 54, pp. 49-57. https://doi.org/10.1016/S1571-0661%2804%2900234-8
Abstract We propose a behavioural extension of the concept of interface of components. We aim to uniformly reason about correctness properties of both closed and open component-based systems. The characterizing feature of our approach is that we perform a local analysis over finite fragments of interactions naturally modeling mobility and coordination aspects. We present a semi-automatic technique that reduces the verification of security properties of protocols to the verification of correctness in component-based systems.
Journal Electronic Notes in Theoretical Computer Science: Volume 54