Transformational typing and unification for automatically correcting insecure programs

Author: Köpf Boris   Mantel Heiko  

Publisher: Springer Publishing Company

ISSN: 1615-5262

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

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