We implemented a Proof class that represents a … [our authentication logic] and basic facts (delegations by principals). An instance of Proof … be received from untrusted parties, their methods are …
Google-1
Google-2
Copyright clearance needed for quotation.