Progressive active inference method of protocol state machine
Protocol state machine active inference is a technique that relies on active automata learning.However, the abstraction of the alphabet and the construction of the mapper present critical challenges.Due to the diversity of messages of the same type, the response types of the same type are different,...
Saved in:
Main Authors: | Yan PAN, Wei LIN, Yuefei ZHU |
---|---|
Format: | Article |
Language: | English |
Published: |
POSTS&TELECOM PRESS Co., LTD
2023-04-01
|
Series: | 网络与信息安全学报 |
Subjects: | |
Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2023023 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Adjusted automata learning algorithm for security protocol adaptive model checking
by: Jing YANG, et al.
Published: (2015-11-01) -
TPCAD:a text-oriented multi-protocol inference approach
by: ZHAO Yong1, et al.
Published: (2009-01-01) -
Weak gardens of Eden for 1-dimensional tessellation automata
by: Michael D. Taylor
Published: (1985-01-01) -
States constrain-based algorithm for large scale regular expression matching
by: Wei HE, et al.
Published: (2013-10-01) -
Block cipher based on T-shaped cellular automata
by: WU Ying-zhi1, et al.
Published: (2009-01-01)