学生就业网签约认证协议设计及分析

Design and analysis of employ agreement authentication on student employment net

结合教育系统的实际情况 ,采用正在全国逐渐推广普及的教育卡以及其对应的密钥管理系统作为认证手段 ,设计了学生就业网的网上签约认证协议 ,实现了签约双方的身份认证以及签约内容的完整性、非否认性认证。此外 ,通过BAN逻辑对该签约协议进行了认证协议分析 ,证明了该认证协议的正确性 。

According to the practical situation of education system, we used the education card and its private key management system to design the agreement authentication protocols for signing up on the employment website for students. These protocols authenticated the identities of both sides of the agreement, and guaranteed the integrity, and non-deny of the agreement content. Furthermore, the agreement authentication protocols were analyzed by BAN logic, and proved its validity.