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

• 作者: 杨木祥 杨秋伟 洪帆
• 来源期刊: 计算机应用研究
• 关键词: 自动信任协商 时态逻辑 授权 访问控制
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 信息安全
• 页码范围: 161-163
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.11.048

摘要

通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式.基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨木祥		2	2	1.0	1.0
2	洪帆		2	2	1.0	1.0
3	杨秋伟		2	2	1.0	1.0