机译:基于公钥基础结构和基于身份的加密的电子签证验证方案
机译:基于公钥基础结构和基于身份的加密的电子签证验证方案科学出版物
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:基于代理的关键基础设施系统建模:复杂的自适应系统视角
机译:使用棕榈静脉和深神经网络的无联网多光谱识别系统
机译:在传输层安全(TLs)环境中使用X.509(pKIX)证书在Internet公钥基础结构中表示和验证基于域的应用程序服务标识
机译:身份验证系统作为关键基础设施。