Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support stat...Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol （SFSNP）. The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.展开更多
Dynamic topological photonics is a novel research field, combining the time-domain optics and topological physics.In this review, the recent progress and realization platforms of dynamic topological photonics have bee...Dynamic topological photonics is a novel research field, combining the time-domain optics and topological physics.In this review, the recent progress and realization platforms of dynamic topological photonics have been well introduced.The definition, measurement methods and the evolution process of the dynamic topological photonics are demonstrated to better understand the physical diagram. This review is meant to bring the readers a different perspective on topological photonics, grasp the advanced progress of dynamic topology, and inspire ideas about future prospects.展开更多
基金supported by the National Key R&D Program of China(No.2016YFB0800700)
文摘Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol （SFSNP）. The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.
基金Project supported by the National Key Research and Development Program of China (Grant No.2018YFB2200403)the National Natural Science Foundation of China (Grant Nos.91950204 and 92150302)。
文摘Dynamic topological photonics is a novel research field, combining the time-domain optics and topological physics.In this review, the recent progress and realization platforms of dynamic topological photonics have been well introduced.The definition, measurement methods and the evolution process of the dynamic topological photonics are demonstrated to better understand the physical diagram. This review is meant to bring the readers a different perspective on topological photonics, grasp the advanced progress of dynamic topology, and inspire ideas about future prospects.
基金supported by the Major Science and Technology Projects of Guangxi(AA17202018)Guangxi Key Laboratory Foundation for Crop Disease and Pest Biology(22-035-31-22ST04)。
