Logical assumptions represent statements that a principal believes … Principals combine assumptions and logical theorems to produce … knowledge of the proof by an adversary does … "Bob speaks for Alice regarding the statements in … Bob might make; the speaks for captures delegation, … Burrows, Lampson, Plotkin, and Wobber [refs]
Google-1
Google-2
Copyright clearance needed for quotation.