Domain-Specific Hardwired Web Server Machine
AssigneeHackproof Technologies Inc.
InventorJoseph Mitola, III
Life of this patent
Estimating the term…
Abstract
A domain-specific hardwired symbolic web server machine is described that processes information via the hardwired mapping of symbols from one or more domains onto other such domains, computing and communicating with improved security and reduced power consumption because it has no CPU, no Random Access Memory (RAM), no instruction registers, no Instruction Set Architecture (ISA), no operating system (OS) and no applications programming. The machine provides web services by recognizing legal requests such as HTTP GET request and responding with an HTML web page. In some embodiments, the machine has no unconstrained RAM into which malware may insert itself and needs no anti-virus software.
Claims20
A domain-specific symbolic web server apparatus comprising:
- circuitry configured to convert a hypertext transfer protocol (HTTP) request to one or more symbols;
- circuitry configured to process the one or more symbols and validate the one or more symbols against one or more domains embedded into hardware of the domain-specific web server apparatus, wherein each of the one or more domains lists values via a hardwired symbolic notation that the HTTP request is allowed to have.
An apparatus comprising:
- one or more field programmable gate arrays programmed, via one or more field programmable gate array (FPGA) images, to cause the apparatus to:
- convert a hypertext transfer protocol (HTTP) request to one or more symbols;
- process the one or more symbols and validating the one or more symbols against one or more domains embedded into hardware of the one or more field programmable gate arrays, wherein each of the one or more domains lists, via a hardwired symbolic notation, values that the HTTP request is allowed to have.
A method comprising:
- receiving a specification that provides a definition of a hypertext transfer protocol (HTTP) web server to be implemented in an apparatus;
- determining, for the HTTP web server, a list of domains, a list of variable objects and a list of maps based on the specification;
- determining, for the HTTP web server, pipe circuitry for each map in the list of maps to produce a plurality of pipe circuits;
- determining, for the HTTP web server, memory block circuitry for each variable object in the list of variable objects to produce a plurality of memory block circuits;
- and
- implementing the plurality of pipe circuits and the plurality of memory block circuits into the apparatus such that the apparatus is configured to perform functions of the HTTP web server responsive to receiving an HTTP request and processing the HTTP request via the plurality of memory block circuits and the plurality of pipe circuits.
The method of claim 16, wherein implementing the plurality of pipe circuits and the plurality of memory block circuits includes:
- converting the plurality of memory block circuits and the plurality of pipe circuits into a field programmable gate array (FPGA) image, and
- compiling the FPGA image into an FPGA such that the FPGA is configured to perform the functions of the HTTP web server.
The method of claim 16 further comprising:
- determining a list of constraints based on the specification;
- and
- determining self-description circuitry based on the list of constraints, wherein the self-description defines what the HTTP web server can and cannot do;
- wherein implementing the plurality of pipe circuits and the plurality of memory block circuits further includes implementing the self-description circuitry into the apparatus.
The method of claim 16, wherein the plurality of pipe circuits includes a first pipe that determines whether a textual symbol is a member of a first domain from the list of domains, and a second pipe that maps a symbol from the first domain to a second domain from the list of domains.
Dependencies are inferred from the claim text.