A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
The issue of developing complex secure systems is still a great challenge. We claim that in contra.st to the well known bottom-up oriented approaches secure concurrent systems should be developed top-down starting with a formal top-level specification. A framework for developing secure systems is needed, which offers means to specify security requirements adapted to the specific demands of application a.rea.s. In addition, a.n appropriate security model is needed to formally describe thedoi:10.1007/978-0-387-34873-5_19 fatcat:mtub3lbvtjgivpv3q3mpc5uvha