CAJ | 학술논문

针对有限域上计算离散对数的困难,提出了一种新的身份认证与密钥协商安全协议--PJY.PJY安全协议通过两次握手就可以验证通信双方的身份,同时产生对等的会话密钥.采用串空间模型分析该安全协议的正确性,通过构造渗透串空间模型,采用认证测试证明了PJY安全协议在任意一种攻击串模式下都具有单射一致性和机密性,从而证明了PJY安全协议的正确性.
침대유한역상계산리산대수적곤난,제출료일충신적신빈인증여밀약협상안전협의--PJY.PJY안전협의통과량차악수취가이험증통신쌍방적신빈,동시산생대등적회화밀약.채용천공간모형분석해안전협의적정학성,통과구조삼투천공간모형,채용인증측시증명료PJY안전협의재임의일충공격천모식하도구유단사일치성화궤밀성,종이증명료PJY안전협의적정학성.
We proposed a novel PJY identity authentication and key agreement security protocol based on computational difficulty of discrete logarithm in finite field.The PJY security protocol can validate identity of the both parties with two session,and generate peer session key.We analyzed the correctness of the security protocol on strand space model First we constructed infiltrate strand space,and proved the PJY security protocol has injective agreement and secrecy by authentication tests under arbitrary penetration strand,so proved the PJY security protocol is correct.