Sciweavers

1528 search results - page 77 / 306
» Object-Oriented Software Composition
Sort
View
ASWEC
2005
IEEE
15 years 8 months ago
Deriving Systems Level Security Properties of Component Based Composite Systems
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...
Khaled M. Khan, Jun Han
103
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne