<--- Back to Details
First PageDocument 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 Pennsylvania

Add to Reading List

Source URL: www.cis.upenn.edu

Download Document from Source Website

File Size: 129,28 KB

Share Document on Facebook

Similar Documents