Novel Security Protocol and Strand Space Analysis
一种新的安全协议及其串空间模型分析

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 penetrat...