Author: Zdancewic S.
Publisher: Springer Publishing Company
ISSN: 1388-3690
Source: LISP and Symbolic Computation, Vol.15, Iss.2-3, 2002-09, pp. : 209-234
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Per Model of Secure Information Flow in Sequential Programs
By Sabelfeld A.
LISP and Symbolic Computation, Vol. 14, Iss. 1, 2001-03 ,pp. :
Enabling a Secure Exchange of Information
SourceOECD Science & Information Technology, Vol. 2010, Iss. 3, 2010-05 ,pp. :
LISP and Symbolic Computation, Vol. 13, Iss. 1-2, 2000-04 ,pp. :