Moritz Y. Becker Alessandra Russo Nik Sultana Foundations of Logic-Based Trust Management. 161-175 2012 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2012.20 https://doi.ieeecomputersociety.org/10.1109/SP.2012.20 conf/sp/2012 db/conf/sp/sp2012.html#BeckerRS12