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

Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi

Browse the full ICWS paper archive.