Verifying the Consistency of Security Policies by Abstracting into Security Types.

Kouichi Ono Yuichi Nakamura Fumiko Satoh Takaaki Tateishi Verifying the Consistency of Security Policies by Abstracting into Security Types. 497-504 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.187 db/conf/icws/icws2007.html#OnoNST07