Signed Bundle Verification via Catalog Segmentation
Find Innovative SolutionsGenerate 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
Engineering 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
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.
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.
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
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.
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.
Data Source
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.


