 |
|
|||
| 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] |
