Formal Aspects of Mobile Code Security (1999)

by Dea99 Richard Drews Dean