Publisher: OECD Publishing
ISSN: 1608-0270
Source: SourceOECD Science & Information Technology, Vol.2010, Iss.3, 2010-05, pp. : 87-100
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. :
Secure Information Flow via Linear Continuations
By Zdancewic S.
LISP and Symbolic Computation, Vol. 15, Iss. 2-3, 2002-09 ,pp. :