Khaled M. Khan, Jun Han. Deriving Systems Level Security Properties of Component Based Composite Systems. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 334-343, IEEE Computer Society, 2005. [doi]
Abstract is missing.