专利详情

专利名称	一种用于授权系统的信息流单向性验证方法
申请号	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)根据所述距离的收敛值判断待验证访问控制矩阵的单向性。本发明能够有效地降低时间复杂度，使之符合多项式时间复杂度要求，显著地提高了单向性验证的效率；能够确保授权系统的信息流符合单向性要求；特别适合应用于大规模授权系统。