Mahajan, M. Proof Carrying Code. INFOCOMP Journal of Computer Science 2007, 6, 1-6.