@inproceedings{Kuz_KLW_10,
    address          = {New Delhi, India},
    author           = {Kuz, Ihor and Klein, Gerwin and Lewis, Corey and Walker, Adam Christopher},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {os, security, capabilities, language},
    month            = aug,
    pages            = {31--35},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3679.pdf},
    title            = {{capDL}: A Language for Describing Capability-Based Systems},
    year             = {2010}
  }