Conference Paper (published)
Details
Citation
Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. In: volume 54. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Elsevier, 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
| Status | Published |
|---|---|
| Publication date | 31/12/2001 |
| Related URLs | |
| ISSN | 1571-0661 |
| Conference | ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School) |
| Conference location | Lipari Island, Italy |
| Dates | – |