@inproceedings{stefan:2011:dclabels,
  title     = {Disjunction Category Labels},
  author    = {Deian Stefan and Alejandro Russo and David Mazi\`eres and John C. Mitchell},
  booktitle = {Nordic Conference on Security IT Systems (NordSec)},
  month     = {October},
  year      = {2011},
  publisher = {Springer},
}