Study on Mobile Code Safety Based on Certifying Compilation

LUO Xiao-Guang,WANG Sheng-Yuan,DONG Yuan,ZHANG Su-Qin
DOI: https://doi.org/10.3969/j.issn.1002-137X.2007.02.070
2007-01-01
Computer Science
Abstract:Using certifying compiler for the the safety solution of mobile codes is a new approache in the literature,featured with that a large percentage of the load for checking the safty policy can be transfered from a code consumer to a code producer so that the much run-time load at the code consumer can be reduced.Besides,it is more trustworthy and can support the verification of anonymous codes because the code itself instead of the authority of a code producer is verified.An analysis for such a reasearch is presented in the paper.It can be seen that supporting a higher level safety policy would be one of the potential focused directions in this area to get more widely applications.Our preliminary work on this direction is introduced briefly between the lines,in order to share it with other researchers.
What problem does this paper attempt to address?