147
Voted
FOSSACS
2012
Springer
14 years 8 days ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
134
Voted
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...