J. S. Shapiro, S. Weber, A Proof of Correctness for the EROS Confinement Mechanism CIS Technical Report ???, University of Pennsylvania (number to be assigned). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Verifying Operating System Security - Shapiro, Weber (1997) (3 citations) Self-citation (Shapiro Weber) (Correct)
Verifying Operating System Security - Shapiro, Weber (1997) (3 citations) Self-citation (Shapiro Weber) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC