Khaled M. Khan, Jun Han, Yuliang Zheng. A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. In 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia. pages 117-126, IEEE Computer Society, 2001. [doi]
Abstract is missing.