Access control based on execution history (2003)

by M Abadi, C Fournet
Venue:In Proc. of 2003 Symposium on Network and Distributed System Security