A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Electronical Notes in Theoretical Computer Science
Our research moves from three fundamental considerations that concern the modelling and engineering of complex systems. First, organization, coordination and security are strictly related issues that should be modelled in a uniform and coherent framework. Second, models, technologies and methodologies should come hand in hand, so that abstractions used in the analysis and design stages should be still "alive and kicking" at development and execution time. Third, the general nonformalisabilitydoi:10.1016/s1571-0661(04)80682-0 fatcat:3qns73o63vehvfdwjutfffw5ea