Analysis of Secure Information Flow by Model-Checking.

Kyung-Goo Doh, Seung Cheol Shin

Browse the full APLAS paper archive.