Trust and Norms in the Context of Computer Security: A Logical Formalization.

Emiliano Lorini Robert Demolombe Trust and Norms in the Context of Computer Security: A Logical Formalization. 50-64 2008 DEON http://dx.doi.org/10.1007/978-3-540-70525-3_6 conf/deon/2008 db/conf/deon/deon2008.html#LoriniD08