Language based policy analysis in a SPKI Trust Management System. - Arun K. Eamani; A. Prasad Sistla (J. Comput. Secur., 2006)