to allow better interoperability across administrative boundaries--we based … [access control] … goals and sessions, and add a module system … the security policy that have been distributed across … The web browser generates proofs mechanically by iteratively … a server can require a browser to prove … [p. 7] The server's proposition generator provides the server … [to be proved by the client in sequence]. … This process of proving and then receiving the …
Google-1
Google-2
Copyright clearance needed for quotation.