Proof Linking: A Modular Verification Architecture for Mobile Code Systems (2001)

by Philip W L Fong
Venue:School of Computing Science, Simon Fraser University