RFC-Directed Differential Testing for SSL/TLS Certificate Validation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current differential testing methods for SSL/TLS certificate validation are inefficient as they fail to explain discrepancies, cannot analyze mutated certificates, and may produce invalid discrepancies, making it difficult to identify bugs and security vulnerabilities.

Innovation Solution

An RFC-directed differential testing method that extracts and updates rules from RFCs, classifies them, generates symbolic programs, and uses dynamic symbolic execution to create test cases, allowing for automated analysis of digital certificates and identification of bugs and security vulnerabilities.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Measurement precision

If mutation approach is used to generate test certificates, then testing coverage is improved, but the ability to analyze and understand discrepancies deteriorates

Engineering Contradiction:
Improvetesting coverageVSAvoiddiscrepancy explanation
Core Design Contradiction:
Measurement precisionVSLoss of information

Solution Approach 1:

The patent applies preliminary action by pre-defining a comprehensive set of mutation operators that target specific certificate fields and constraints before actual mutation occurs. These operators are designed based on prior analysis of certificate structures and validation rules, ensuring that generated mutations are both diverse and analyzable. The mutation strategies are prepared in advance rather than applied randomly during testing.

Inventive Principle:
Principle #10Preliminary action

Solution Approach 2:

The patent introduces an intermediary component that acts as a bridge between the mutated certificates and the analysis system. This intermediary maintains metadata about each mutation applied, including the type of mutation, the field modified, and the expected impact on validation. This metadata serves as an intermediary record that preserves discrepancy information without requiring manual analysis of the actual certificate structures.

Inventive Principle:
Principle #24Intermediary (Mediator)

2Loss of information

If manual analysis of mutated certificates is performed, then discrepancy understanding is improved, but analysis efficiency and accuracy deteriorates due to human error

Engineering Contradiction:
Improvediscrepancy understandingVSAvoidanalysis accuracy
Core Design Contradiction:
Loss of informationVSManufacturing precision

Solution Approach 1:

The patent implements self-service by enabling the testing system to automatically analyze and interpret discrepancies without requiring manual intervention. The system uses automated parsers and validators that can independently examine mutated certificates, compare them against validation rules, and generate discrepancy reports. This self-service capability eliminates human error while maintaining comprehensive discrepancy understanding.

Inventive Principle:
Principle #25Self-service

Solution Approach 2:

The patent replaces the mechanical process of manual certificate analysis with an automated computational system. Instead of human analysts examining certificate structures and validation failures, the system uses software-based parsers, validators, and analysis tools that can process certificates programmatically. This substitution maintains analytical depth while eliminating human error and improving consistency.

Inventive Principle:
Principle #28Mechanics substitution (Replace mechanical system)

3Difficulty of detecting and measuring

If reconstructed utilities are used to analyze mutated certificates, then analysis capability is improved, but system complexity and development cost increases

Engineering Contradiction:
Improvecertificate analysis capabilityVSAvoidutility reconstruction complexity
Core Design Contradiction:
Difficulty of detecting and measuringVSDevice complexity

Solution Approach 1:

The patent applies universality by designing a multi-functional analysis utility that can handle multiple certificate formats, validation rules, and mutation types through a single integrated system. Rather than reconstructing separate utilities for each analysis task, the system provides a universal platform that performs parsing, validation, mutation generation, and discrepancy analysis across different certificate standards and formats.

Inventive Principle:
Principle #6Universality (Multi-functionality)

Solution Approach 2:

The patent uses partial action by implementing only the specific analysis capabilities needed for the testing objectives, rather than reconstructing complete utility systems. The analysis utility focuses on the essential functions required to examine mutated certificates and identify discrepancies, omitting unnecessary features that would increase complexity without adding value to the testing process.

Inventive Principle:
Principle #16Partial or excessive action

Data Source

PatentUS10897484B2RFC-directed differential testing method of certificate validation in SSL/TLS implementations
Publication Date: 2021.01.19 XIDIAN UNIV
  • US10897484B2 patent drawing
  • US10897484B2 patent drawing
  • US10897484B2 patent drawing

AI summary

The present invention relates to the technical field of computer software analysis and discloses an RFC-directed differential testing method of certificate validations in a SSL/TLS implementations which includes: extracting rules from RFC and updating the rules, classifying the rules, further classifying consumer rules and shared rules into breakable rules and unbreakable rules, expressing the rules as variables, and generating a symbolic program; generating low-level test cases by applying the dynamic symbolic execution technique to the symbolic program; assembling high-level test cases i.e. digital certificates according to the low-level test cases; and employing the assembled digital certificates to the differential testing of the certificate validation in SSL/TLS implementations.