Automated trust negotiation based on temporal logic
基于时态逻辑的自动信任协商模型*

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.