Access control based on execution history (2003)

by Mart́ın Abadi, Cédric Fournet
Venue:In Proceedings of the 10th annual Network and Distributed System Security Symposium