A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal Security Policy Verification of Distributed Component-Structured Software
[chapter]
2003
Lecture Notes in Computer Science
Component-structured software, which is coupled from independently developed software components, introduces new security problems. In particular, a component may attack components of its environment and, in consequence, spoil the application incorporating it. Therefore, to guard a system, we constrain the behavior of a component by ruling out the transmission of events between components which may cause harm. Security policies describing the behavior constraints are formally specified and, at
doi:10.1007/978-3-540-39979-7_17
fatcat:zn3oihaswvhi7fo7menafgjvpm