文件名称:论文研究-基于时态逻辑的自动信任协商模型.pdf
文件大小:61KB
文件格式:PDF
更新时间:2022-08-11 16:13:12
自动信任协商,时态逻辑,授权,访问控制
摘要:通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。
文件名称:论文研究-基于时态逻辑的自动信任协商模型.pdf
文件大小:61KB
文件格式:PDF
更新时间:2022-08-11 16:13:12
自动信任协商,时态逻辑,授权,访问控制
摘要:通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。