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