Calculating Quantitative Integrity and Secrecy for Imperative Programs

E-ISSN： 1947-3044|6|2|23-46

ISSN： 1947-3036

Source： International Journal of Secure Software Engineering (IJSSE), Vol.6, Iss.2, 2015-04, pp. : 23-46

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

Generating algebraic laws from imperative programs

By Gumm H.P.

Theoretical Computer Science, Vol. 217, Iss. 2, 1999-04 ,pp. : 385-405

Elsevier

Access to resources Recommend Favorite

Parallelizing Imperative Functional Programs: the Vectorization Monad

By Hill J.M.D. Clarke K.M. Bornat R.

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 561-576

Academic Press

Access to resources Recommend Favorite

Quantitative Separation Logic and Programs with Lists

By Bozga Marius Iosif Radu Perarnau Swann

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 131-156

Springer Publishing Company

Access to resources Recommend Favorite

Secrecy in Programming-Language Semantics

By Abadi M.

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-15

Elsevier

Access to resources Recommend Favorite

Openness vs. secrecy in nanotechnology

By McMillan G. Steven

International Journal of Technology Intelligence and Planning, Vol. 6, Iss. 3, 2010-10 ,pp. : 205-209

Inderscience Publishers

Access to resources Recommend Favorite