Adjusted automata learning algorithm for security protocol adaptive model checking
Modifications and improvements for adjusted automata learning algorithms,which were enabled by recent developments.Adjusted automata learning algorithm L<sub>a</sub>* is correct and efficient.It will be helpful to improve adaptive model checking efficiency,reduce the cost,solve state spa...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2015-11-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2015308/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539554139439104 |
|---|---|
| author | Jing YANG Dan FAN Yu-qing ZHANG |
| author_facet | Jing YANG Dan FAN Yu-qing ZHANG |
| author_sort | Jing YANG |
| collection | DOAJ |
| description | Modifications and improvements for adjusted automata learning algorithms,which were enabled by recent developments.Adjusted automata learning algorithm L<sub>a</sub>* is correct and efficient.It will be helpful to improve adaptive model checking efficiency,reduce the cost,solve state space explosion problem and resist many kinds of attack methods for security protocols. |
| format | Article |
| id | doaj-art-0ea11f7858a947f1b1b220650b56457f |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2015-11-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-0ea11f7858a947f1b1b220650b56457f2025-01-14T06:54:31ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2015-11-013626627659698229Adjusted automata learning algorithm for security protocol adaptive model checkingJing YANGDan FANYu-qing ZHANGModifications and improvements for adjusted automata learning algorithms,which were enabled by recent developments.Adjusted automata learning algorithm L<sub>a</sub>* is correct and efficient.It will be helpful to improve adaptive model checking efficiency,reduce the cost,solve state space explosion problem and resist many kinds of attack methods for security protocols.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2015308/security protocoladaptive model checkinglearning algorithminexperienced teachersymbolic automata |
| spellingShingle | Jing YANG Dan FAN Yu-qing ZHANG Adjusted automata learning algorithm for security protocol adaptive model checking Tongxin xuebao security protocol adaptive model checking learning algorithm inexperienced teacher symbolic automata |
| title | Adjusted automata learning algorithm for security protocol adaptive model checking |
| title_full | Adjusted automata learning algorithm for security protocol adaptive model checking |
| title_fullStr | Adjusted automata learning algorithm for security protocol adaptive model checking |
| title_full_unstemmed | Adjusted automata learning algorithm for security protocol adaptive model checking |
| title_short | Adjusted automata learning algorithm for security protocol adaptive model checking |
| title_sort | adjusted automata learning algorithm for security protocol adaptive model checking |
| topic | security protocol adaptive model checking learning algorithm inexperienced teacher symbolic automata |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2015308/ |
| work_keys_str_mv | AT jingyang adjustedautomatalearningalgorithmforsecurityprotocoladaptivemodelchecking AT danfan adjustedautomatalearningalgorithmforsecurityprotocoladaptivemodelchecking AT yuqingzhang adjustedautomatalearningalgorithmforsecurityprotocoladaptivemodelchecking |