|
Authors: | Arpit Gupta, Nick Feamster, Laurent Vanbever |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | FLANC: A Formal Logic for Authorizing Network Control |
Year: | 2016 |
Month: | March |
Book Titel: | ACM SOSR |
Location: | Santa Clara, CA, USA |
Resources: | [BibTeX] |