Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.

Jan Jrjens

Browse the full RV paper archive.