Towards a Declarative Language and System for Secure Networking ∗ Mart´ın Abadi∗† and Boon Thau Loo‡∗ Microsoft Research † UC Santa Cruz ‡ University of Pennsylvania - Santa language - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2007-03-14 07:34:53 Open Document File Size: 129,28 KB Share Result on Facebook

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 List