Olga Pacheco Normative Specification: A Tool for Trust and Security. 187-202 2005 conf/ifip1-7/2005 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/11679219_14 db/conf/ifip1-7/fast2005.html#Pacheco05