Check out the new USENIX Web site. next up previous
Next: Complete Mediation Up: Using CQUAL for Static Previous: Introduction


Problem

We aim to enable two kinds of verification: (1) verification of complete mediation and (2) verification of complete authorization.



Subsections

Catherine Zhang 2002-05-13