@inproceedings{Bordenabe_MMR_17,
    address          = {Shanghai},
    author           = {Bordenabe, Nicolas and McIver, Annabelle and Morgan, Carroll and Rabehaja, Tahiry},
    booktitle        = {FORTE},
    date             = {2017-6-18},
    month            = jun,
    pages            = {156-170},
    paperurl         = {https://trustworthy.systems/publications/full_text/Bordenabe_MMR_17.pdf},
    publisher        = {Springer},
    title            = {Reasoning About Distributed Secrets},
    year             = {2017}
  }