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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Chinês |
| Publicado em: |
Editorial Department of Journal on Communications
2015-11-01
|
| coleção: | Tongxin xuebao |
| Assuntos: | |
| Acesso em linha: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2015308 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|