Karl Krukow Mogens Nielsen Vladimiro Sassone A logical framework for history-based access control and reputation systems. 63-101 2008 16 Journal of Computer Security 1 http://iospress.metapress.com/content/2330826723581x76/ db/journals/jcs/jcs16.html#KrukowNS08