cba.md

Copland Source

*client: @bank attest bank sys -> @appraiser !

Abstract Syntax Tree

AST n0 attest bank sys n1 ! n2 @appraiser n2->n1 n3 -> n3->n0 n3->n2 n4 @bank n4->n3

Events and Evidence

Copland cluster_appraiser appraiser cluster_bank bank cluster_client client n10 g(m(msp(attest, bank, sys), bank, mt), appraiser) n11 client: rpy(bank) n10->n11 n12 g(m(msp(attest, bank, sys), bank, mt), appraiser) n11->n12 n8 g(m(msp(attest, bank, sys), bank, mt), appraiser) n9 bank: rpy(appraiser) n8->n9 n9->n10 n5 bank: req(appraiser) n5->n9 n6 m(msp(attest, bank, sys), bank, mt) n5->n6 n7 appraiser: sig n6->n7 n1 client: req(bank) n1->n11 n2 mt n1->n2 n3 bank: msp(attest, bank, sys) n2->n3 n7->n8 n4 m(msp(attest, bank, sys), bank, mt) n4->n5 n3->n4 n0 mt n0->n1