A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification.

Simon N. Foley, Li Gong, Xiaolei Qian

Browse the full SP paper archive.