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 t

Key words: Certifying compiler, Mobile codes, Securiy,Concureney, Petri nets