| Document Date: 2010-12-15 21:40:42
Open Document File Size: 259,85 KBShare Result on Facebook
Company B. Unfortunately / Alcatel / Lucent / DePaul University 2 Bell Labs / / Currency USD / / Event Person Communication and Meetings / / Facility arena of Example / Vanderbilt University Hospital / / IndustryTerm audit protocols / healthcare professionals / communication infrastructure / accountability systems / determinate distributed systems / finitary accountability systems / federated distributed systems / accountability-based distributed systems / audit protocol / internet protocol / patient portal / finitary systems / law enforcement / model-checking algorithms / infinite state transition systems / fixed audit protocol / / MusicGroup Eve / / Organization DePaul University / Vanderbilt University Hospital / National Science Foundation / School of Computing / / Person Everyone / Eve / Bob / Charlie / Jeffrey / Liveness / / Position hB / a1 This auditor / valid player / n-players player / auditor / scheduler / Pitcher / player / / Technology fixed audit protocol / internet protocol / audit protocols / ISP / audit protocol / existing model-checking algorithms / /
SocialTag |
Towards a theory of accountability and audit? Radha Jagadeesan1 , Alan Jeffrey2 , Corin Pitcher1 , and James Riely1,?? 1 School of Computing, DePaul University 2 Bell Labs, Alcatel–Lucent