@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} }