首页> 中文期刊> 《计算机应用研究》 >基于时态逻辑的自动信任协商模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用研究》 |2007年第11期|161-163|共3页
作者
杨秋伟; 洪帆; 杨木祥;
展开▼
作者单位

华中科技大学;

计算机学院;

信息安全实验室;

武汉;

430074;

华中科技大学;

计算机学院;

信息安全实验室;

武汉;

430074;

华中科技大学;

计算机学院;

信息安全实验室;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
自动信任协商; 时态逻辑; 授权; 访问控制;

相似文献

中文文献
外文文献
专利

1. 基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测 [J] . 朱创营 ,常亮 ,徐周波 . 计算机科学 . 2013,第010期
2. 基于时态失效逻辑的割序集模型量化方法 [J] . 王波 ,刘东 ,李艺 . 计算机工程 . 2012,第020期
3. 基于线性时态逻辑的Petri网模型检测研究 [J] . 赵晓凡 ,周清雷 ,赵东明 . 微计算机信息 . 2009,第003期
4. 基于时态认知逻辑的Web服务模型检测 [J] . 骆翔宇 ,陈艳 ,古天龙 . 计算机科学 . 2009,第008期
5. 基于时态逻辑的多时间序列挖掘模型 [J] . 陈卓 ,杨炳儒 ,周法国 . 辽宁工程技术大学学报：自然科学版 . 2009,第4期
6. 基于线性时态逻辑的Petri网模型检测 [C] . 蒋屹新 ,林闯 ,邢栩嘉 . 第九届全国Petri网学术年会 . 2003
7. 基于Petri网与时态逻辑的工作流模型及模型验证 [A] . 杨秋妹 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号