Apply Model Checking to Security Analysis in Trust Management.

Mark Reith, Jianwei Niu, William H. Winsborough

Browse the full ICDE paper archive.