DMCA

Formal Verification of Cross-Domain Access Control Policies Using Model Checking

Cached

Download Links

by Mark C. Reynolds , Azer Bestavros