A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk.

Gyrd Brændeland Ketil Stølen A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk. 31-46 2006 conf/ifip1-7/2006 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/978-3-540-75227-1_3 db/conf/ifip1-7/fast2006.html#BraendelandS06