DMCA

Automated Verification of Access Control Policies (2004)

by Graham Hughes , Tevfik Bultan
Citations:21 - 2 self