A Per Model of Secure Information Flow in Sequential Programs

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.14, Iss.1, 2001-03, pp. : 59-91

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Secure Information Flow via Linear Continuations

By Zdancewic S.

LISP and Symbolic Computation, Vol. 15, Iss. 2-3, 2002-09 ,pp. : 209-234

Springer Publishing Company

Access to resources Recommend Favorite

A distributed digital rights management model for secure information-distribution systems

By Abie Habtamu Spilling Pål Foyn Bent

International Journal of Information Security (IJIS), Vol. 3, Iss. 2, 2004-11 ,pp. : 113-128

Springer Publishing Company

Access to resources Recommend Favorite

Enabling a Secure Exchange of Information

SourceOECD Science & Information Technology, Vol. 2010, Iss. 3, 2010-05 ,pp. : 87-100

OECD Publishing

Access to resources Recommend Favorite

Advanced chopping of sequential and concurrent programs

By Giffhorn Dennis

Software Quality Journal, Vol. 19, Iss. 2, 2011-06 ,pp. : 239-294

Springer Publishing Company

Access to resources Recommend Favorite

Estimation of 3-D human body posture via co-registration of 3-D human model and sequential stereo information

By Thang Nguyen

Applied Intelligence, Vol. 35, Iss. 2, 2011-10 ,pp. : 163-177

Springer Publishing Company

Access to resources Recommend Favorite