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...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2011-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74418572/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537768127201280 |
|---|---|
| author | GUAN Shang-yuan 1 WU Wei-guo 1 DONG Xiao-she 1 QIAN De-pei1 |
| author_facet | GUAN Shang-yuan 1 WU Wei-guo 1 DONG Xiao-she 1 QIAN De-pei1 |
| author_sort | GUAN Shang-yuan 1 |
| collection | DOAJ |
| description | 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 negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking. |
| format | Article |
| id | doaj-art-20a6cf37f1394b1d98e166ed79d22d1b |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2011-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-20a6cf37f1394b1d98e166ed79d22d1b2025-01-14T08:22:51ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2011-01-0132869974418572Research on formal description and verification of automated trust negotiationGUAN Shang-yuan 1WU Wei-guo 1DONG Xiao-she 1QIAN De-pei1First,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 negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.http://www.joconline.com.cn/zh/article/74418572/access controltrust negotiationformal methodscomputational complexitysecurity |
| spellingShingle | GUAN Shang-yuan 1 WU Wei-guo 1 DONG Xiao-she 1 QIAN De-pei1 Research on formal description and verification of automated trust negotiation Tongxin xuebao access control trust negotiation formal methods computational complexity security |
| title | Research on formal description and verification of automated trust negotiation |
| title_full | Research on formal description and verification of automated trust negotiation |
| title_fullStr | Research on formal description and verification of automated trust negotiation |
| title_full_unstemmed | Research on formal description and verification of automated trust negotiation |
| title_short | Research on formal description and verification of automated trust negotiation |
| title_sort | research on formal description and verification of automated trust negotiation |
| topic | access control trust negotiation formal methods computational complexity security |
| url | http://www.joconline.com.cn/zh/article/74418572/ |
| work_keys_str_mv | AT guanshangyuan1 researchonformaldescriptionandverificationofautomatedtrustnegotiation AT wuweiguo1 researchonformaldescriptionandverificationofautomatedtrustnegotiation AT dongxiaoshe1 researchonformaldescriptionandverificationofautomatedtrustnegotiation AT qiandepei1 researchonformaldescriptionandverificationofautomatedtrustnegotiation |