Protocol Sequence Marker Detection for Unallowed Continuations
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing communication protocol execution in devices fails to reliably detect and report unallowed continuation of protocol procedures, especially when faced with invalid inputs such as false authentication data, leading to potential security breaches and operational errors.
Innovation Solution
A test tool with a test engine that employs fuzz testing and sequence markers to automatically detect and mark unallowed operational sequences in communication devices, enabling the identification of erroneous operations and generation of error reports when invalid inputs result in unallowed protocol continuations.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Extent of automation
If manual testing methods are used to detect unallowed protocol continuations, then testing coverage can be achieved, but testing efficiency and automation are reduced
Solution Approach 1:
The system enables self-service by allowing the communication device to automatically insert sequence markers into its own protocol execution flow and autonomously detect unallowed continuations without external intervention, making the testing process self-executing and highly automated
Solution Approach 2:
The system implements feedback by continuously monitoring protocol execution against expected sequences, detecting deviations automatically, and generating error reports that provide feedback on protocol compliance, enabling closed-loop verification of communication security
2Reliability
If comprehensive protocol monitoring is implemented to detect all unallowed continuations, then security is improved, but device complexity increases
Solution Approach 1:
The monitoring function is segmented into discrete sequence markers that are inserted at specific protocol execution points, allowing the system to monitor only critical sequences rather than entire protocol flows, thereby reducing complexity while maintaining detection effectiveness
Solution Approach 2:
Sequence markers are inserted in advance at predetermined locations in the protocol execution flow before actual protocol operations occur, enabling the system to pre-define monitoring points and simplify real-time detection by comparing actual execution against pre-established expected sequences
Data Source
Figure 1~2
Figure 3~4
Figure 5~6
AI summary
This document discloses a method, apparatus, and computer program for automatically detecting unallowed continuation of a communication protocol procedure in a communication device. The method comprises in a test tool: marking an invalid input applied to the communication device in a sequence of operations of the communication protocol procedure (200); marking, with a sequence marker, a location that should not be reached in the sequence of operations of the communication protocol procedure as a result of the invalid input (202); and upon detecting that the communication protocol procedure has reached the location marked with the sequence marker (204), outputting an indication that the communication device operates in an unallowed manner (206).