Publication | Open Access

A cartesian product construction for unconditionally secure authentication codes that permit arbitration

Hardware SecurityCartesian Product ConstructionCryptographic PrimitiveEngineeringPermit ArbitrationInformation SecurityCryptographic ProtectionIdentity-based SecurityFormal MethodsSecure Authentication CodesComputer ScienceCryptographic ProtocolFormal VerificationAuthentication ProtocolData SecurityCryptography