Signed Bundle Verification via Catalog Segmentation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing methods for verifying bundles in distributed environments fail when files are removed from a signed bundle, leading to verification failures if the bundle is modified by adding, removing, or modifying files other than those specified for removal.

Innovation Solution

A method and system for modifying and verifying signed bundles by generating a server file list specifying files to be removed, allowing the creation of a modified signed bundle that includes only the remaining files, a catalog file, and a catalog signature, which can be verified to ensure no additional modifications have been made.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If a signed bundle is modified by removing files, then the bundle can be adapted to specific distribution needs, but verification fails because the catalog file no longer matches the remaining files

Engineering Contradiction:
Improvebundle modification capabilityVSAvoidverification reliability
Core Design Contradiction:
Adaptability or versatilityVSReliability

Solution Approach 1:

The solution segments the verification process into two distinct parts: (1) verification of the catalog file signature to ensure the catalog itself is authentic, and (2) verification of individual file hashes against the catalog to ensure files match their expected state. This segmentation allows the system to handle modified bundles by verifying only the remaining files against the original catalog, rather than requiring the entire original bundle structure to be present.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The catalog file serves as an intermediary between the bundle files and the verification process. By digitally signing the catalog file separately and storing it with the bundle, the system creates a trusted reference that mediates verification. The catalog contains hash values that act as intermediaries for comparing against actual files, allowing verification to proceed even when files are removed from the bundle, as long as the catalog signature remains valid.

Inventive Principle:
Principle #24Intermediary (Mediator)

2Reliability

If the entire bundle is digitally signed to ensure integrity, then security is improved, but any modification including legitimate file removal causes verification failure

Engineering Contradiction:
Improvebundle integrity verificationVSAvoidbundle flexibility
Core Design Contradiction:
ReliabilityVSAdaptability or versatility

Solution Approach 1:

The system performs preliminary action by calculating and storing hash values for each file in the catalog file before the bundle is distributed. This pre-computed hash catalog serves as a reference that enables future verification without requiring the original bundle structure. By preparing the catalog with all expected file hashes in advance, the system can later verify only the files that remain in modified bundles, allowing legitimate adaptations while maintaining security.

Inventive Principle:
Principle #10Preliminary action

Solution Approach 2:

The solution extracts the verification mechanism from the bundle structure itself and places it in the separate catalog file. Instead of signing the entire bundle as a single unit where any modification breaks verification, the system extracts individual file hash references into the catalog, which is then signed. This extraction allows the bundle content to be modified (files removed) while the signed catalog remains valid as long as the remaining files match their expected hashes.

Inventive Principle:
Principle #2Taking out (Extraction)

Data Source

PatentUS8578170B2Bundle verification
Publication Date: 2013.11.05 MALIKIE INNOVATIONS LTD
  • US8578170B2 patent drawing
  • US8578170B2 patent drawing
  • US8578170B2 patent drawing

AI summary

Systems, devices, and methods for modifying a signed bundle and verifying the modified bundle are disclosed. A signed bundle may be modified by removing a file specified in a server file list from a plurality of files in the bundle. The signed bundle comprises a catalog of files in the signed bundle and their associated hashes. The modified bundle includes the remaining files of the signed bundle that are not specified in the server file list and the catalog file of the signed bundle, the catalog signature of the signed bundle. The modified bundle may be verified by verifying the catalog signature of the modified signed bundle, and checking that the files specified in the catalog are either in the modified signed bundle or specified in the server file list. The hashes of the files in the modified signed bundle may also be checked to verify the modified signed bundle.