Instruction-level security typing by abstract interpretation

Author： Francesco Nicoletta Martini Luca

ISSN： 1615-5262

Source： International Journal of Information Security (IJIS), Vol.6, Iss.2-3, 2007-03, pp. : 85-106

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

Related content

Abstract Interpretation for Proving Secrecy Properties in Security Protocols

By Adi K. Debbabi M.

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

Elsevier

Access to resources Recommend Favorite

By Touati Sid-Ahmed-Ali

International Journal of Parallel Programming, Vol. 33, Iss. 4, 2005-08 ,pp. : 393-449

Springer Publishing Company

Access to resources Recommend Favorite

HIGH-LEVEL INTERPRETATION IN VIRTUAL ENVIRONMENTS

By Cavazza Marc Palmer Ian

Applied Artificial Intelligence, Vol. 14, Iss. 1, 2000-01 ,pp. : 125-144

Taylor & Francis Ltd

Access to resources Recommend Favorite

Abstract interpretation of mobile ambients

By Nielson F. Hansen R.R. Nielson H.R.

Science of Computer Programming, Vol. 47, Iss. 2, 2003-05 ,pp. : 145-175

Elsevier

Access to resources Recommend Favorite

The quotient of an abstract interpretation

By Cortesi A. File G. Winsborough W.

Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. : 163-192

Elsevier

Access to resources Recommend Favorite