Back
@inproceedings{, author = {Arpit Gupta and Nick Feamster and Laurent Vanbever}, title = {FLANC: A Formal Logic for Authorizing Network Control}, address = {Santa Clara, CA, USA}, booktitle = {ACM SOSR}, month = {Mar}, year = {2016} }