检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机应用研究》2010年第6期2304-2308,共5页Application Research of Computers
基 金:国家自然科学基金资助项目(90715029);湖南省自然科学基金资助项目(09JJ5045)
摘 要:自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理的信任协商会话调度方案,存在着拒绝服务攻击。提出了自动信任协商的基本组件,使用状态变换系统形式化描述了一个自动信任协商抽象模型。讨论了自动信任协商的时间特性,对原有安全策略扩展了时间约束安全策略,构造了一个带时间特性的自动信任协商状态变化系统。同时分析了安全策略的可满足性判定问题。Automated trust negotiation is an approach to build trust relationship between strangers by disclosing attribute credentials alternately. However, the main work focuses on some aspects, which had nothing to do with the time character in recent research, without reasonable schedule scheme of ATN session and existing denial of service attack. This paper proposed the components of ATN and described an abstract ATN model with state-transition system. Extended the security policies so that it could describe the time character. Constructed a state-transition system with time character to simulate ATN. Discussed the satiability of security policies in ATN.
关 键 词:自动信任协商 信任证 图灵机 不可判定性 时间自动机
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7