专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06317872B1 Real time processor optimized for executing JAVA programs 失效
标题翻译：针对执行JAVA程序优化的实时处理器
公开(公告)号：US06317872B1
公开(公告)日：2001-11-13
申请号：US09056048
申请日：1998-04-06
申请人： John K. Gee , David A. Greve , David S. Hardin , Raymond A. Kamin , T. Douglas Hiratzka , Allen P. Mass , Michael H. Masters , Nick M. Mykris
发明人： John K. Gee , David A. Greve , David S. Hardin , Raymond A. Kamin , T. Douglas Hiratzka , Allen P. Mass , Michael H. Masters , Nick M. Mykris
IPC分类号： G06F945
CPC分类号： G06F9/30134 , G06F9/30101 , G06F9/30123 , G06F9/44521 , G06F9/45504 , G06F12/0253 , Y10S707/99953 , Y10S707/99957
摘要： An improved computer architecture and system advantageously combine the beneficial characteristics of a high level object oriented programming language with an optimized processor for efficient application to real time embedded computing problems. Additionally, an improved method for resolving symbolic references in code generated by compiling source code written in an object oriented programming language to the corresponding logical memory addresses stores look-up information with the object itself after the first encounter of a given symbolic reference, whereby the logical memory address information is available for subsequent encounters of the symbolic reference, and whereby no modification of the program instructions containing the symbolic reference is necessary. In a preferred embodiment, the Java™ programming language is used.
摘要翻译：改进的计算机体系结构和系统有利地将高级面向对象编程语言的有益特征与优化的处理器相结合，以有效应用于实时嵌入式计算问题。此外，用于解析通过将以面向对象的编程语言编写的源代码编译成对应的逻辑存储器地址生成的代码中的符号引用的改进方法在首次遇到给定的符号引用之后存储与对象本身的查找信息，由此逻辑存储器地址信息可用于随后的符号引用的遇到，并且由此不需要修改包含符号引用的程序指令。在优选实施例中，使用Java TM编程语言。

2. 发明授权

US08041554B1 Method and system for the development of high-assurance microcode 有权
标题翻译：开发高保证微码的方法和系统
公开(公告)号：US08041554B1
公开(公告)日：2011-10-18
申请号：US11810609
申请日：2007-06-06
申请人： Philippe M. T. Limondin , T. Douglas Hiratzka , Michael W. Whalen , David S. Hardin
发明人： Philippe M. T. Limondin , T. Douglas Hiratzka , Michael W. Whalen , David S. Hardin
IPC分类号： G06F9/45
CPC分类号： G06F8/35 , G06F9/44589 , G06F11/3608 , G06F11/3684
摘要： The present invention is a methodology for developing high-assurance microcode. The method may comprise one or more of the following steps: (a) receiving a plurality of requirements detailing intended behavior of microcode (b) creating a model of microcode behavior; (c) generating microcode based on the model; (d) generating test cases based on the model; (e) simulating the behavior of the microcode; (f) translating the model into a verification tool-specific format; and (g) formally verifying the model using a verification tool.
摘要翻译：本发明是开发高保证微码的方法。该方法可以包括以下步骤中的一个或多个：（a）接收详细描述微代码的预期行为的多个要求（b）创建微代码行为的模型; （c）基于模型生成微代码; （d）根据模型生成测试用例; （e）模拟微码的行为; （f）将模型转换为具体的验证工具格式; 和（g）使用验证工具正式验证模型。

3. 发明授权

US08161529B1 High-assurance architecture for routing of information between networks of differing security level 有权
标题翻译：用于在不同安全级别的网络之间路由信息的高保证架构
公开(公告)号：US08161529B1
公开(公告)日：2012-04-17
申请号：US11820351
申请日：2007-06-19
申请人： Mark A. Bortz , Matthew M. Wilding , James A. Marek , David S. Hardin , T. Douglas Hiratzka , Philippe M. T. Limondin
发明人： Mark A. Bortz , Matthew M. Wilding , James A. Marek , David S. Hardin , T. Douglas Hiratzka , Philippe M. T. Limondin
IPC分类号： H04L29/06
CPC分类号： G06F21/6218 , G06F2221/2141 , H04L45/04 , H04L63/101 , H04L63/105
摘要： The present invention is directed to routing information between networks of differing security level. Communication to/from each network is handled by a dedicated Offload Engine (OE). Each OE interfaces to a Guard Engine through a Guard Data Mover (GDM) and includes an interface for connecting to an external network. A first OE receives a data packet from a first network intended to be transmitted to a second network. The Guard Engine analyzes the data packet. The Guard Engine includes an ACL (Access Control List) which are rules data packets must meet before being passed onto a destination network. If allowed, the Guard Engine delivers the data packet to the second network via a second OE utilizing a GDM associated with the first OE and a GDM associated with the second OE. The architecture of the present invention reduces the time and effort needed to attain high-assurance certification.
摘要翻译：本发明涉及在不同安全级别的网络之间路由信息。与每个网络的通信由专用的卸载引擎（OE）来处理。每个OE通过Guard Data Mover（GDM）与Guard Engine接口，并包括一个用于连接到外部网络的接口。第一OE从旨在发送到第二网络的第一网络接收数据分组。 Guard Engine分析数据包。 Guard引擎包括一个ACL（访问控制列表），它们在被传递到目标网络之前必须满足规则数据包。如果允许，则Guard引擎将数据分组经由第二OE使用与第一OE相关联的GDM和与第二OE相关联的GDM将数据分组传送到第二网络。本发明的架构减少了获得高保证认证所需的时间和精力。

4. 发明授权

US08726241B1 Method and system for the development of high-assurance computing elements 有权
标题翻译：开发高保证计算元素的方法和系统
公开(公告)号：US08726241B1
公开(公告)日：2014-05-13
申请号：US11810571
申请日：2007-06-06
申请人： Philippe M. T. Limondin , T. Douglas Hiratzka , John J. Mettenburg , David F. Leskowicz , Michael W. Whalen
发明人： Philippe M. T. Limondin , T. Douglas Hiratzka , John J. Mettenburg , David F. Leskowicz , Michael W. Whalen
IPC分类号： G06F9/44
CPC分类号： G06F9/44 , G06F17/5022 , G06F17/504 , G06F17/5045
摘要： The present invention is a methodology for developing high-assurance computing elements. The method may comprise one or more of the following steps: (a) receiving a plurality of requirements detailing intended behavior of a high-assurance computing elements; (b) creating a model based on the requirements; (c) generating higher order language (HOL) code based on the model; (d) simulating the behavior of the computing elements from the HOL code; (e) generating test cases based on the model; (f) translating the model into a verification tool-specific format; and (g) formally verifying the model using a verification tool.
摘要翻译：本发明是开发高保证计算元件的方法。该方法可以包括以下步骤中的一个或多个：（a）接收详细说明高保证计算元件的预期行为的多个要求; （b）根据要求制定模型; （c）基于模型生成高阶语言（HOL）代码; （d）从HOL代码模拟计算元件的行为; （e）根据模型生成测试用例; （f）将模型转换为具体的验证工具格式; 和（g）使用验证工具正式验证模型。

5. 发明授权

US07639798B1 High speed data encryption architecture 有权
标题翻译：高速数据加密架构
公开(公告)号：US07639798B1
公开(公告)日：2009-12-29
申请号：US11227682
申请日：2005-09-15
申请人： Mark A. Bortz , Philippe M. T. Limondin , T. Douglas Hiratzka
发明人： Mark A. Bortz , Philippe M. T. Limondin , T. Douglas Hiratzka
IPC分类号： H04L9/00 , G06F11/30 , G06F7/04
CPC分类号： H04L9/06 , H04L9/14 , H04L2209/125
摘要： The present invention provides a high speed data encryption architecture in which fabric elements are communicatively coupled to one another via a hardwired interconnect. Each of the fabric elements includes a plurality of wide field programmable gate array (FPGA) blocks used for wide datapaths and a plurality of narrow FPGA blocks used for narrow datapaths. Each of the plurality of wide FPGA blocks and each of the plurality of narrow FPGA blocks are communicatively coupled to each other. A control block is communicatively coupled to each of the fabric elements via the hardwired interconnect to provide control signals to each of the fabric elements. The fabric elements are used to implement cryptographic algorithms.
摘要翻译：本发明提供了一种高速数据加密架构，其中结构元件经由硬连线互连通信地彼此耦合。每个织物元件包括用于宽数据路径的多个宽场可编程门阵列（FPGA）块和用于窄数据通路的多个窄FPGA块。多个宽FPGA块中的每一个和多个窄FPGA块中的每一个彼此通信地耦合。控制块通过硬连线互连通信地耦合到每个织物元件，以向每个织物元件提供控制信号。结构元素用于实现加密算法。

6. 发明授权

US08094819B1 Method and apparatus for high agility cryptographic key manager 有权
标题翻译：高敏捷密码密钥管理器的方法和装置
公开(公告)号：US08094819B1
公开(公告)日：2012-01-10
申请号：US11495961
申请日：2006-07-28
申请人： Philippe M. T. Limondin , T. Douglas Hiratzka , Mark A. Bortz
发明人： Philippe M. T. Limondin , T. Douglas Hiratzka , Mark A. Bortz
IPC分类号： H04N7/167 , G06F12/00
CPC分类号： G06F12/1408 , G06F21/602 , G06F21/79
摘要： A method and apparatus for improved algorithm and key agility for a cryptosystem, comprising a CAM-type key manager. The key manager uses two memories, an index RAM and a key RAM, to virtualize each algorithm or key using pointers from the index RAM to the key RAM, allowing simple reference to algorithm/key pairs, and to dynamically allocate storage for keys. An autonomous free memory management design improves latency in future key write operations by transforming the search for free location addresses in the key RAM memory into a background task, and employing a free address stack. The index RAM is resizable so that data for a plurality of cryptographic algorithms may be stored dynamically.
摘要翻译：一种用于改进密码系统的算法和密钥敏捷性的方法和装置，包括CAM型密钥管理器。密钥管理器使用两个存储器（索引RAM和密钥RAM），使用从索引RAM到关键RAM的指针来虚拟化每个算法或密钥，允许简单地引用算法/密钥对，并动态分配密钥存储。自主的可用内存管理设计通过将关键RAM存储器中的空闲位置地址的搜索转换为后台任务以及采用空闲地址堆栈来改善将来的密钥写入操作的延迟。索引RAM可调整大小，使得可以动态地存储多个密码算法的数据。

7. 发明授权

US07451258B1 Rotating priority queue manager 有权
标题翻译：旋转优先级队列管理器
公开(公告)号：US07451258B1
公开(公告)日：2008-11-11
申请号：US11508499
申请日：2006-08-23
申请人： T. Douglas Hiratzka , Philippe M. Limondin , Mark A. Bortz
发明人： T. Douglas Hiratzka , Philippe M. Limondin , Mark A. Bortz
IPC分类号： G06F13/00
CPC分类号： G06F13/364
摘要： The present invention is a rotating priority queue manager. A rotating priority queue manager in accordance with the present invention may include a plurality of source data channels, a corresponding plurality of processing resources, and an arbitrating interface directing the flow of data from the source channels to the processing resources where the data must flow over a shared data path.The plurality of processing resources may comprise any system of parallel processors where the servicing of input data must be carried out in a manner where there the maximum latency for processing a given data channel is determinable, the arbitration between channels is equal, no input channel may prevent another channel from being serviced, and lower priority processing resources are not prohibited from receiving input data if higher priority processing resources are not currently available or if higher priority data is not currently available.
摘要翻译：本发明是旋转优先级队列管理器。根据本发明的旋转优先级队列管理器可以包括多个源数据信道，相应的多个处理资源以及指导数据从源信道流到数据必须流过的处理资源的仲裁接口共享数据路径。多个处理资源可以包括并行处理器的任何系统，其中必须以可以确定给定数据信道的处理的最大等待时间，信道之间的仲裁相等的方式执行输入数据的服务，而不需要输入信道防止另一个信道被服务，如果较高优先级的处理资源当前不可用，或者较高优先级的数据当前不可用，则不禁止较低优先级的处理资源接收输入数据。

8. 发明授权

US09590964B1 GPS-enabled cross-domain guard 有权
标题翻译：支持GPS的跨域防护
公开(公告)号：US09590964B1
公开(公告)日：2017-03-07
申请号：US12880479
申请日：2010-09-13
申请人： Mark A. Bortz , Sung J. Kim , T. Douglas Hiratzka , Andrew J. LeVake
发明人： Mark A. Bortz , Sung J. Kim , T. Douglas Hiratzka , Andrew J. LeVake
IPC分类号： H04L29/06
CPC分类号： H04L63/08 , G06F21/6218 , G06F2221/2141 , H04L45/04 , H04L63/101 , H04L63/105 , H04L63/20 , H04W4/02 , H04W12/08
摘要： A method for routing of information between networks of differing security levels may include, but is not limited to: receiving a data packet from a first network having a security classification at a first network node; determining a geographic location of the first network node; applying one or more geographic location-dependent access control rules for the data packet according to the geographic location of the first network node with a guard engine; transferring the data packet to a second network according to compliance of the data packet with the one or more geographic location-dependent access control rules.
摘要翻译：用于在不同安全级别的网络之间路由信息的方法可以包括但不限于：从具有在第一网络节点处的安全分类的第一网络接收数据分组; 确定所述第一网络节点的地理位置; 根据具有防护引擎的第一网络节点的地理位置对数据分组应用一个或多个地理位置相关访问控制规则; 根据数据分组与一个或多个地理位置相关的访问控制规则的顺应性将数据分组传送到第二网络。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式