Towards an Integrated Formal Analysis for Security and Trust.

Fabio Martinelli Towards an Integrated Formal Analysis for Security and Trust. 115-130 2005 conf/fmoods/2005 FMOODS http://dx.doi.org/10.1007/11494881_8 db/conf/fmoods/fmoods2005.html#Martinelli05