Enforcing history-based security policies in mobile agent systems | IEEE Conference Publication | IEEE Xplore