基于时态逻辑的自动信任协商模型  

Automated trust negotiation based on temporal logic

作　　者：杨秋伟[1] 洪帆[1] 杨木祥[1] 

机构地区：[1]华中科技大学计算机学院信息安全实验室,武汉430074

出　　处：《计算机应用研究》2007年第11期161-163,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60403027)

摘　　要：通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。This paper analysed the abstract action in automated trust negotiation and defined pattern of negotiation. Then proposed the abstract model of trust negotiation based on the first-order temporal logic. Presented the syntax and semantic meaning, which provided effective tool for realizing the automated trust negotiation systems.

关 键 词：自动信任协商 时态逻辑 授权 访问控制 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]