Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

7 results about "Provable security" patented technology

Provable security refers to any type or level of security that can be proved. It is used in different ways by different fields. Usually, this refers to mathematical proofs, which are common in cryptography. In such a proof, the capabilities of the attacker are defined by an adversarial model (also referred to as attacker model): the aim of the proof is to show that the attacker must solve the underlying hard problem in order to break the security of the modelled system. Such a proof generally does not consider side-channel attacks or other implementation-specific attacks, because they are usually impossible to model without implementing the system (and thus, the proof only applies to this implementation).

Credible digital space-oriented dynamic data sharing security method and system

The invention discloses a trusted digital space-oriented dynamic data sharing security method and system, and relates to the technical field of dynamic data sharing. The isomorphic design enables dynamic attributes such as aging scores and the like to be directly embedded into an access strategy to form a mathematical basis of a dynamic strategy, and when the data aging state changes, a promise value updated by a dynamic credible data label design module automatically triggers strategy re-evaluation of a CP-ABE data sharing module to realize cross-module penetration of the dynamic attributes; in a medical data sharing scene, data timeliness is confirmed to reach the standard and to be compliant with the identity of a visitor through single interaction, so that redundant overhead caused by multiple times of verification in a traditional scheme is avoided; according to the invention, the cross cooperation realizes the attribute-strategy-verification integrated control in the dynamic data circulation process, and when the data aging state changes, the smart contract automatically coordinates the label update and strategy re-evaluation, constructs a dynamic response closed loop on the cryptographic level, and provides a provable and safe mathematical base for the high-sensitivity data sharing.
Owner:HAINAN NORMAL UNIV

Heterogeneous high-performance distributed key agreement algorithm supporting malicious participant resistance in block chain

The invention discloses a heterogeneous high-performance distributed key agreement algorithm for supporting and resisting malicious participants in a block chain. The method is characterized in that a group negotiation intermediate message is generated under a heterogeneous cryptosystem between a certificate-based public key cryptosystem and a certificateless cryptosystem, and a cryptosystem conversion process is not needed, so that the performance overhead is reduced. All intermediate messages may be signed to verify integrity and used to identify, audit and defend malicious disruption and collusion attacks by participants. After key negotiation is completed, any encryptor can dynamically establish a session, customize a receiver group and generate a session key, and only a specified receiver can decrypt. According to the scheme, specific cryptographic operation and conversion rules are designed according to unique system composition and interaction processes in the heterogeneous system, and provable security of the heterogeneous cryptographic system is achieved.
Owner:UNIV OF ELECTRONICS SCI & TECH OF CHINA

Lattice public key data encryption and decryption method and key encapsulation method based on vector decoding

The application discloses a lattice public key data encryption and decryption method and a key encapsulation method based on vector decoding. The method comprises the following steps: obtaining first target ciphertext data according to predetermined plaintext data, a first predetermined encryption method, a first target public key and a predetermined interference term, so that lattice public key data encryption can be realized; obtaining target plaintext data according to the first target ciphertext data, a first target private key and a predetermined decryption method, so that lattice public key data decryption can be realized. Meanwhile, the application also proposes a variant problem of a ring learning with errors problem (RLWE), namely, a subset-sum parity RLWE (sspRLWE) problem, and further optimizes the lattice public key data encryption method based on vector decoding in the application based on the variant problem. The public key encryption method and the key encapsulation method designed in the application have the characteristics and advantages of provable security, resistance to quantum computer attacks, short public key and ciphertext length, high calculation efficiency, low decryption failure rate, flexible parameter selection and the like.
Owner:BEIJING ACAD OF INFORMATION SCI & TECH

A provably secure post-quantum key encapsulation method based on LWR mask noise, computer equipment and storage medium

The present application belongs to the technical field of post-quantum cryptography, and provides a provably secure post-quantum key encapsulation method based on LWR masking noise, a computer device and a storage medium. The method includes three stages, a key generation stage: generating a pair of asymmetric keys for the receiver of communication; an encryption stage: the sender encapsulates the shared secret using the public key of the receiver to form ciphertext; a decryption stage: the receiver uses the private key kept by itself to offset the public part in the ciphertext, and filters out the introduced rounding noise and masking noise, and restores the plaintext message encapsulated by the sender. The present application can realize compact provable security reduction from Module-LWR to Module-LWE without significantly increasing the computing overhead and bandwidth, and at the same time, eliminate the potential side channel leakage caused by the deterministic rounding structure.
Owner:BEIJING LANGKONG QUANTUM TECHNOLOGY CO LTD

An AI-based reflow soldering process autonomous learning and intelligent debugging method and system

This invention discloses an AI-based autonomous learning and intelligent debugging method and system for reflow soldering processes, belonging to the field of manufacturing process control technology. The method is applied to a three-layer collaborative computing system consisting of an edge layer, a local layer, and a cloud layer. It includes: fusing design data of the target product with real-time process data collected by the edge layer; using the unified feature field as input, performing joint design and process optimization to generate a process control scheme verified by software security; distributing the process control scheme to the edge layer for execution, with a hardware arbitration module independent of the main control system providing physical-level security redundancy protection for the execution process; and uploading the updated knowledge to the cloud layer after production is completed. By constructing a fully autonomous closed loop, it achieves zero-sample rapid cold start for new products, joint global multi-objective optimization of design and process, dual provable security protection (software and hardware), and continuous autonomous evolution of swarm intelligence.
Owner:SHENZHEN HAOBAO TECH CO LTD

A power system lightweight secure communication method, device, equipment and medium

The application discloses a kind of power system lightweight security communication method, device, equipment and medium, the power system lightweight security communication method proposes a kind of combination matrix certificateless key generation driven by accompanying public key and the combination of layered seed cache based on timing-load joint scheduling lightweight communication measures, the key of this measure is to couple terminal short-term random material, such as accompanying public key / epoch and combination matrix index mechanism, to realize the forward security private key rotation of provable;And session encryption block generation is changed from static presetting to timing-load joint adaptive scheduling and layered cache, while designing collaborative leakage response and cache security recovery mechanism, so that provable security and efficient communication are considered under strict resource constraints, to ensure the security, efficiency, adaptability and robustness of data transmission carried out by power system resource-constrained terminal.
Owner:STATE GRID HUNAN ELECTRIC POWER CO +2

Asymmetric resource text steganography method and system based on double-scale language model

The application discloses an asymmetric resource text steganography method and system based on a double-scale language model, and belongs to the technical field of information security. The method comprises the following steps: generating a steganography text subsequence token by token based on a double-scale large language model; and extracting secret information token by token based on a first language model. Under the premise that the steganography security meets the provable security requirement, the application can realize adaptive adjustment of embedding capacity, reduce the calculation complexity of the decoding end, and thus improve the practicability and scalability of the steganography communication system.
Owner:INSTITUTE OF INFORMATION ENGINEERING CHINESE ACADEMY OF SCIENCES