Research on formal description and verification of automated trust negotiation

Research on formal description and verification of automated trust negotiation

First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiati...

Full description

Saved in:
Bibliographic Details
Main Authors: GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2011-01-01
Series:Tongxin xuebao
Subjects:
access control
trust negotiation
formal methods
computational complexity
security
Online Access:http://www.joconline.com.cn/zh/article/74418572/
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items