Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. - Hiroaki Kamoda; Akihiro Hayakawa; Masaki Yamaoka; Shigeyuki Matsuda; Krysia Broda; Morris Sloman (WOWMOM, 2005)

Access Control Policy Analysis Using Free Variable Tableaux. - Hiroaki Kamoda; Masaki Yamaoka; Shigeyuki Matsuda; Krysia Broda; Morris Sloman (Inf. Media Technol., 2006)

Matrix-Based Algorithm for Integrating Inheritance Relations of Access Rights for Policy Generation. - Kazuhiro Kono; Yoshimichi Ito; Akihito Aoyama; Hiroaki Kamoda; Noboru Babaguchi (Inf. Media Technol., 2010)