Towards verifiable trust management for software execution (extended abstract) - Huth, M; Kuo, JHP (Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2013)