First Page | Document Content | |
---|---|---|
Date: 2007-03-14 07:34:53 | Towards a Declarative Language and System for Secure Networking ∗ Mart´ın Abadi∗† and Boon Thau Loo‡∗ Microsoft Research † UC Santa Cruz ‡ University of PennsylvaniaAdd to Reading ListSource URL: www.cis.upenn.eduDownload Document from Source WebsiteFile Size: 129,28 KBShare Document on Facebook |