Towards a Declarative Language and System for Secure Networking

@inproceedings {268679,
author = {Mart{\'\i}n Abadi and Boon Thau Loo},
title = {Towards a Declarative Language and System for Secure Networking},
booktitle = {Third International Workshop on Networking Meets Databases (NetDB 07)},
year = {2007},
address = {Cambridge, MA},
url = {https://www.usenix.org/conference/netdb-07/towards-declarative-language-and-system-secure-networking},
publisher = {USENIX Association},
month = apr
}