We describe a theory of authentication and a … for' relation between principals. … The theory shows how to reason about a … one important application. We use the theory to … It passes principals efficiently as arguments or results … large name space, groups of principals, program loading, …
Google-1
Google-2
Copyright clearance needed for quotation.