会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Using multiple certificates to distribute public keys
    • 使用多个证书分发公钥
    • US08214638B1
    • 2012-07-03
    • US11535470
    • 2006-09-26
    • Alan KarpTyler Close
    • Alan KarpTyler Close
    • H04L9/30
    • H04L9/0825H04L9/085H04L9/0891H04L9/3263
    • A source computer is associated with multiple certificates. The source signs each certificate with a separate private key. From time to time, the source generates (a) new key pair(s) to replace (an) old one(s). The source uses the new private key(s) to sign the associated certificate(s). The source then requests a connection to a destination computer, the request being associated with the multiple certificates which identify the source. The source also transmits the new public key(s). The destination receives the request, and checks the certificates for validity. If less than all but at least a threshold number of the certificates are valid, the destination notes that one or more new public keys are being distributed. The destination accepts the connection, receives the new public key(s) associated with the invalid certificate(s), and replaces the corresponding old public key(s).
    • 源计算机与多个证书相关联。 来源使用单独的私钥对每个证书进行签名。 源不时地产生(a)新的密钥对以替换(a)旧的密钥对。 源使用新的私钥来签署关联的证书。 然后,源请求到目的地计算机的连接,该请求与识别源的多个证书相关联。 该源还传输新的公开密钥。 目的地接收请求,并检查证书的有效性。 如果少于全部但至少一个阈值数量的证书是有效的,则目的地注意到正在分发一个或多个新的公钥。 目的地接受连接,接收与无效证书相关联的新公钥,并替换相应的旧公钥。
    • 7. 发明申请
    • Method and apparatus for processing descriptive statements
    • 用于处理描述语句的方法和装置
    • US20050204141A1
    • 2005-09-15
    • US10798187
    • 2004-03-10
    • Craig SayersAlan Karp
    • Craig SayersAlan Karp
    • G06F9/44
    • G06F17/30321G06F17/3033G06F17/30949G06F21/64
    • This disclosure provides a method and apparatus for processing descriptive statements. More particularly, this disclosure provides a way of quickly and reliably signing and authenticating RDF statements without requiring a data sort. By using a commutative hashing function that combines multiple independent hashes, ideally one per serialized statement, signing and verifying can each be completed without a data sort; inclusion of an “extra” identifier, e.g., the total number of RDF statements, may enhance the security of the signed statements by helping minimize exposure to potential attackers. The disclosure also describes how to later add additional statements to an existing signature and hash using an incremental process. Effective blank node handling may also achieved using this incremental process by requiring intermediate machines to add a new “reverse-labeling” statement each time a blank node is locally assigned; the new statement, essentially provides information to permit downstream to reverse the labeling process and thereby reliably verify authentic the original RDF statements.
    • 本公开提供了一种用于处理描述性语句的方法和装置。 更具体地,本公开提供了在不需要数据排序的情况下快速且可靠地对RDF语句进行签名和认证的方式。 通过使用组合多个独立散列的交换散列函数,理想情况下每个序列化语句一个,签名和验证可以在没有数据排序的情况下完成; 包括“额外的”标识符,例如RDF语句的总数,可以通过帮助最小化对潜在攻击者的暴露来增强签名语句的安全性。 本公开还描述了如何使用增量过程稍后向现有签名和散列添加附加语句。 每当空白节点被本地分配时,也可以通过要求中间机器添加新的“反向标注”语句,也可以使用该增量过程实现有效的空白节点处理; 新的声明基本上提供信息,允许下游逆转标签过程,从而可靠地验证原始RDF语句的真实性。
    • 9. 发明申请
    • Detecting data races in multithreaded computer programs
    • 检测多线程计算机程序中的数据竞赛
    • US20050283781A1
    • 2005-12-22
    • US10870722
    • 2004-06-16
    • Alan KarpJean-Francois Collard
    • Alan KarpJean-Francois Collard
    • G06F9/46
    • G06F11/3624
    • In one aspect, a value of a variable shared by multiple threads for executing the program code is stored in a thread-local variable. A data race condition is detected based on a comparison of values of the shared variable and the thread-local variable. Detection of the data race condition is reported. In another aspect, a machine-readable instruction to store in a thread-local variable a value of a variable shared by multiple threads for executing the program code is generated. A machine-readable instruction to detect a data race condition based on a comparison of values of the shared variable and the thread-local variable is generated. The machine-readable instructions are stored in a machine-readable medium.
    • 在一个方面,用于执行程序代码的多个线程共享的变量的值被存储在线程局部变量中。 基于共享变量和线程局部变量的值的比较来检测数据竞争条件。 报告数据竞争条件的检测。 在另一方面,生成用于存储线程局部变量中的多个线程共享的用于执行程序代码的变量的值的机器可读指令。 生成用于基于共享变量和线程局部变量的值的比较来检测数据竞争条件的机器可读指令。 机器可读指令存储在机器可读介质中。