Symposium on the Theory of Computing · 1990 · 200 citations · 0 references
ComputingComputer ScienceCryptographySecurity ProtocolsTheory Of ComputationCommunication ComplexityCryptographic ComplexityCryptographic Protocol DesignCryptographic ProtocolsProtocol AnalysisProtocol VerificationCryptographic Protocol AnalysisFormal Verification Of Cryptographic ProtocolsProtocol Formal VerificationProvable SecurityRound ComplexitySecure Protocol DesignSecurity Properties Of Protocols