Reto Kohlas Jacek Jonczy Rolf Haenni Towards a precise semantics for authenticity and trust. 18 2006 PST http://doi.acm.org/10.1145/1501434.1501457 conf/pst/2006 db/conf/pst/pst2006.html#KohlasJH06