Formal Aspects of Mobile Code Security (1999)

by R D Dean