Micro-Policies: Formally Verified, Tag-Based Security Monitors (bibtex)
by Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Reference:
Micro-Policies: Formally Verified, Tag-Based Security Monitors (Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach), In 36th IEEE Symposium on Security and Privacy (Oakland S&P), IEEE Computer Society, 2015.
Bibtex Entry:
@inproceedings{AmorimDGHPST15,
  author = {  Arthur {Azevedo de Amorim} and
              Maxime D\'en\`es and
              Nick Giannarakis and
              Catalin Hritcu and
              Benjamin C. Pierce and
              Antal {Spector-Zabusky} and
              Andrew Tolmach},
  title = {{Micro-Policies}: Formally Verified, Tag-Based Security Monitors},
  booktitle = {36th IEEE Symposium on Security and Privacy (Oakland S\&P)},
  shortbooktitle = {Oakland S\&P},
  year = {2015},
  month = may,
  url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/micro-policies.pdf},
  pages     = {813--830},
  ee        = {http://dx.doi.org/10.1109/SP.2015.55},
  doi       = {10.1109/SP.2015.55},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-4673-6949-7},
}
Powered by bibtexbrowser