| 基于时态逻辑的自动信任协商模型* |
| |
| 引用本文： | 杨秋伟,洪帆,杨木祥.基于时态逻辑的自动信任协商模型*[J].计算机应用研究,2007,24(11):161-163. |
| |
| 作者姓名： | 杨秋伟 洪帆 杨木祥 |
| |
| 作者单位： | 华中科技大学,计算机学院,信息安全实验室,武汉,430074 |
| |
| 摘 要： | 通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式.基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具.
|
| 关 键 词： | 自动信任协商 时态逻辑 授权 访问控制 时态逻辑 自动 信任 协商模型 temporal logic based negotiation trust 语法和语义 抽象模型 基于扩展 协商模式 形式化定义 行为 协商系统 分析 |
| 文章编号： | 1001-3695（2007）11-0161-03 |
| 修稿时间： | 2006-07-13 |
Automated trust negotiation based on temporal logic |
| |
| YANG Qiu wei,HONG Fan,YANG Mu xiang.Automated trust negotiation based on temporal logic[J].Application Research of Computers,2007,24(11):161-163. |
| |
| Authors: | YANG Qiu wei HONG Fan YANG Mu xiang |
| |
| Affiliation: | (Laboratory of Information Security, School of Computer Science, Huazhong University of Science & Technology, Wuhan 430074, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | automated trust negotiation(ATN) temporal logic authorization access control |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
