D. Volpano, G. Smith, and C. Irvine. A sound type system for secure  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (10 citations) (Correct)
No context found.
D. Volpano, G. Smith, and C. Irvine. A sound type system for secure
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