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 space explosion...
I tiakina i:
| Ngā kaituhi matua: | , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Chinês |
| I whakaputaina: |
Editorial Department of Journal on Communications
2015-11-01
|
| Rangatū: | Tongxin xuebao |
| Ngā marau: | |
| Urunga tuihono: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2015308 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|