I just noticed "Modularity and Secure Linking" by several authors including Appel and Felten: http://www.cs.Princeton.EDU/sip/projects/modularity/ . Cheers, --MarkM