专利名称 | 一种用于授权系统的信息流单向性验证方法 | 申请号 | CN201010238798.5 | 专利类型 | 发明专利 | 公开(公告)号 | CN101917410A | 公开(授权)日 | 2010.12.15 | 申请(专利权)人 | 中国科学院计算技术研究所 | 发明(设计)人 | 杨智;金舒原;段洣毅;郭莉 | 主分类号 | H04L29/06(2006.01)I | IPC主分类号 | H04L29/06(2006.01)I | 专利有效期 | 一种用于授权系统的信息流单向性验证方法 至一种用于授权系统的信息流单向性验证方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明提供一种用于授权系统的信息流单向性验证方法,包括下列步骤:1)确定待验证访问控制矩阵;2)建立一个针对所述授权系统的主体和客体的标记分配方案;3)将所述标记分配方案转换为BLP授权访问控制矩阵;4)计算所述BLP授权访问控制矩阵与待验证访问控制矩阵之间的距离;5)根据所述距离调整所述标记分配方案;6)按照步骤3)至5)反复迭代,使所述距离不断减小并收敛;7)根据所述距离的收敛值判断待验证访问控制矩阵的单向性。本发明能够有效地降低时间复杂度,使之符合多项式时间复杂度要求,显著地提高了单向性验证的效率;能够确保授权系统的信息流符合单向性要求;特别适合应用于大规模授权系统。 |
1、源头对接,价格透明
2、平台验证,实名审核
3、合同监控,代办手续
4、专员跟进,交易保障