bc_sq.md

Copland Source

*bank: attest bank sys -> @client prove client id

Abstract Syntax Tree

AST n0 attest bank sys n1 prove client id n2 @client n2->n1 n3 -> n3->n0 n3->n2

Events and Evidence

Copland cluster_bank bank cluster_client client n6 m(msp(prove, client, id), client, m(msp(attest, bank, sys), bank, mt)) n7 bank: rpy(client) n6->n7 n8 m(msp(prove, client, id), client, m(msp(attest, bank, sys), bank, mt)) n7->n8 n3 bank: req(client) n3->n7 n4 m(msp(attest, bank, sys), bank, mt) n3->n4 n5 client: msp(prove, client, id) n4->n5 n2 m(msp(attest, bank, sys), bank, mt) n2->n3 n1 bank: msp(attest, bank, sys) n1->n2 n0 mt n0->n1 n5->n6