会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • DECOMPRESSING APPARATUS AND COMPRESSING APPARATUS
    • 装卸设备和压缩设备
    • US20120150931A1
    • 2012-06-14
    • US13225964
    • 2011-09-06
    • Yoshikazu HANATANITaichi ISOGAIHirofumi MURATANITomoko YONEMURA
    • Yoshikazu HANATANITaichi ISOGAIHirofumi MURATANITomoko YONEMURA
    • G06F17/11
    • G09C1/00G06F17/12H04L9/3066H04L2209/30
    • According to one embodiment, a decompressing apparatus includes an input unit, a calculating unit, a first selecting unit, and a decompressing unit. The input unit inputs additional data, which is obtained based on trace expression data in which an element in a subgroup of a multiplicative group of a finite field is trace-expressed and affine expression data in which the trace expression data is affine-expressed, and the trace expression data. The calculating unit calculates a plurality of solutions of simultaneous equations derived by the trace expression data. The first selecting unit selects any of a plurality of items of affine expression data in which the element is affine-expressed based on the additional data, the affine expression data being found from the solutions. The decompressing unit decompresses the selected affine expression data to the element.
    • 根据一个实施例,解压缩装置包括输入单元,计算单元,第一选择单元和解压缩单元。 输入单元输入基于跟踪表达数据获得的附加数据,其中有限域的乘法组的子组中的元素被跟踪表达,并且其中仿射表达数据被仿射表达的仿射表达式数据;以及 跟踪表达式数据。 计算单元计算由轨迹表达数据导出的多个联立方程的解。 第一选择单元基于附加数据选择多个项目的仿射表达数据中的元素进行仿射表示,从解决方案中找到仿射表达数据。 解压缩单元将所选择的仿射表达式数据解压缩到元素。
    • 9. 发明申请
    • Cryptographic protocol security verification apparatus, cryptographic protocol design apparatus, cryptographic protocol security verification method, cryptographic protocol design method and computer program product
    • 加密协议安全验证装置,加密协议设计装置,加密协议安全验证方法,加密协议设计方法和计算机程序产品
    • US20070098151A1
    • 2007-05-03
    • US11488942
    • 2006-07-18
    • Hirofumi Muratani
    • Hirofumi Muratani
    • H04L9/28H04L9/00H04K1/00
    • H04L9/3247H04L9/3273H04L63/0428H04L63/1433
    • A cryptographic protocol security verification apparatus includes a formal verification unit verifying a presence or absence of a defect of a process for a party and a first virtual entity based on a description of a verifiable cryptographic protocol specification data, wherein the verifiable cryptographic protocol specification data includes a first description section containing a description of a process for the party actually involved in the execution of a cryptographic protocol, and a second description section, where the second description section corresponds to an ideal protocol defined by an universal composability and containing the description of the process for the party actually involved in the execution of the cryptographic protocol and a first virtual entity not actually involved in the execution of the cryptographic protocol, and does not contain a description for a second virtual entity not actually involved in the execution of the cryptographic protocol, and wherein the first virtual entity corresponds to an ideal functionality of the ideal protocol, and the second virtual entity corresponds to a simulator of the ideal protocol.
    • 密码协议安全验证装置包括形式验证单元,其基于对可验证密码协议规范数据的描述来验证一方和第一虚拟实体的进程的缺陷的存在与否,其中,所述可验证密码协议规范数据包括 第一描述部分,其包含实际涉及执行密码协议的方的过程的描述,以及第二描述部分,其中第二描述部分对应于由通用可组合性定义的理想协议,并且包含 执行加密协议的方的实际过程和不实际涉及密码协议执行的第一虚拟实体,并且不包含实际上并不涉及密码协议执行的第二虚拟实体的描述 ,并且其中th e第一虚拟实体对应于理想协议的理想功能,并且第二虚拟实体对应于理想协议的模拟器。