%0 Journal Article %1 casey2013 %A Jasson Casey, C. %A Sutton, A. %A Dos Reis, G. %A Sprintson, A. %D 2013 %J ArXiv e-prints %K imported %T Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design

@article{casey2013, added-at = {2014-12-10T16:12:02.000+0100}, adsurl = {http://adsabs.harvard.edu/abs/2013arXiv1311.3336J}, adsxnote = {Provided by the SAO/NASA Astrophysics Data System}, archiveprefix = {arXiv}, author = {{Jasson Casey}, C. and {Sutton}, A. and {Dos Reis}, G. and {Sprintson}, A.}, biburl = {https://www.bibsonomy.org/bibtex/2106b58a447af08aa6e53e199540a5c67/chesteve}, eprint = {1311.3336}, interhash = {19cf66361e9bcb14e91254d29f4365fe}, intrahash = {106b58a447af08aa6e53e199540a5c67}, journal = {ArXiv e-prints}, keywords = {imported}, month = nov, primaryclass = {cs.NI}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {{Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design}}, year = 2013 }