%0 Journal Article
%T Automated trust negotiation based on temporal logic<br>基于时态逻辑的自动信任协商模型*
%A YANG Qiu wei
%A HONG Fan
%A YANG Mu xiang
%A <br>杨秋伟
%A 洪帆
%A 杨木祥
%J 计算机应用研究
%D 2007
%I 
%X 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.
%K automated trust negotiation(ATN)
%K temporal logic
%K authorization
%K access control<br>自动信任协商
%K 时态逻辑
%K 授权
%K 访问控制
%K 时态逻辑
%K 自动
%K 信任
%K 协商模型
%K temporal
%K logic
%K based
%K negotiation
%K trust
%K 语法和语义
%K 抽象模型
%K 基于扩展
%K 协商模式
%K 形式化定义
%K 行为
%K 协商系统
%K 分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C793235A4E87B8F61DF8718079656DD0&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=708DD6B15D2464E8&sid=8575BEDA702C4B7C&eid=D5C9DC4EF2F78008&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=7