Computer Law & Security Report · 1994 · 3.4K citations · 0 references
ComputingComputer EngineeringComputer ScienceAlgorithmsCryptographySecurity ProtocolsAuthenticated EncryptionCryptographic AlgorithmsCryptographic ImplementationCryptographic Protocol DesignCryptographic ProtocolsProtocol AnalysisFormal Verification Of Cryptographic CodeFormal Verification Of Cryptographic ProtocolsLightweight Cryptographic Protocols