ACM Transactions on Computer Systems · 1985 · 109 citations · 8 references
ComputingComputer ScienceComputer SystemsAuthenticationComputer SecuritySecurity ProtocolsAuthenticated EncryptionAuthentication ProtocolsCryptographic ProtocolsProtocol VerificationRemote Procedure CallSecurity Protocol VerificationAuthentication MechanismsCommunication ProtocolsEncryption ProtocolsEnd-to-end SecuritySecure CommunicationsSecure Protocol DesignSecurity AuthenticationUser Authentication Mechanisms
Research on encryption-based secure communication protocols has reached a stage where it is feasible to construct end-to-end secure protocols. The design of such a protocol, built as part of a remote procedure call package, is described. The security abstraction presented to users of the package, the authentication mechanisms, and the protocol for encrypting and verifying remote calls are also described.
8
Implementing remote procedure calls
Andrew Birrell, Bruce Jay Nelson · ACM Transactions on Computer Systems · 1984 · 1.8K citations · Full text
Andrew Birrell, Roy Levin, Michael Schroeder et al. · Communications of the ACM · 1982 · 447 citations · Full text