Robin Sharp. Report: CC-Based Design of Secure Application Systems. In Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone, editors, Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Volume 5429 of Lecture Notes in Computer Science, pages 111-121, Springer, 2009. [doi]
Abstract is missing.