Skip header navigation

University of Stirling

×

Conference Paper

Security issues in component-based design

Citation
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

StatusPublished
Author(s)Bracciali, Andrea; Brogi, Antonio; Ferrari, Gianluigi; Tuosto, Emilio
Publication date31/12/2001
Related URLshttp://www.informatik.uni-trier.de/…tcs/entcs54.html
ISSN1571-0661
ConferenceConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School)
Conference locationLipari Island, Italy
Dates
Scroll back to the top