[发明专利]高保障网络网关生成器

权利要求书

1.一种网络网关生成器，所述网络网关生成器包括：

存储器和一个或更多个处理器，所述存储器是编码有可执行指令的非暂时性计算机可读介质，使得在执行所述指令时，所述一个或更多个处理器执行以下操作：

接收输入构件；

将所述输入构件转换成对应格式，作为转换数据；

将所述转换数据分配给操作系统OS代码生成器、粘合代码生成器和通信代码生成器；

由所述OS代码生成器基于所述转换数据生成OS代码，并且获取系统架构，所述系统架构包括可信子系统与不可信子系统之间的通信信道；

由所述通信代码生成器基于所述转换数据生成反序列化代码和过滤代码；

由粘合代码生成器基于所述OS代码和所述转换数据生成粘合代码；

通过将所述粘合代码、所述反序列化代码和所述过滤代码进行组合来生成可执行网络网关代码；

生成证明构件以用于通信，所述证明构件提供关于不可信子系统干扰可信子系统的不可能性、以及可利用故障在消息序列化代码和反序列化代码中的不可能性的数学保证；

在计算机可读介质上对所述可执行网络网关代码进行编码；

通过在网络服务器上运行所述可执行网络网关代码，在平台与网络之间形成网关；以及

通过所述网关促进所述平台与网络之间的通信业务，使得经由所述网络能够访问的不可信子系统不可能更改或修改除指定通信信道的内容之外的可信子系统的内容，并且使得在所述通信信道中不存在可利用故障。

2.根据权利要求1所述的网络网关生成器，其中，所述转换数据包括系统架构代码、粘合代码相关构件和消息规范。

3.根据权利要求2所述的网络网关生成器，其中，所述通信代码生成器还生成形式规范、证明和相关代码。

4.根据权利要求1所述的网络网关生成器，其中，所述通信代码生成器还生成形式规范、证明和相关代码。

5.一种非暂时性计算机可读介质，所述非暂时性计算机可读介质编码有可执行指令，使得在由一个或更多个处理器执行所述指令时，所述一个或更多个处理器执行以下操作：

接收输入构件；

将所述输入构件转换成对应格式，作为转换数据；

将所述转换数据分配给操作系统OS代码生成器、粘合代码生成器和通信代码生成器；

由所述OS代码生成器基于所述转换数据生成OS代码，并且获取系统架构，所述系统架构包括可信子系统与不可信子系统之间的通信信道；

由所述通信代码生成器基于所述转换数据生成反序列化代码和过滤代码；

由粘合代码生成器基于所述OS代码和所述转换数据生成粘合代码；

通过将所述粘合代码、所述反序列化代码和所述过滤代码进行组合来生成可执行网络网关代码；

生成证明构件以用于通信，所述证明构件提供关于不可信子系统干扰可信子系统的不可能性、以及可利用故障在消息序列化代码和反序列化代码中的不可能性的数学保证；

在计算机可读介质上对所述可执行网络网关代码进行编码；

通过在网络服务器上运行所述可执行网络网关代码，在平台与网络之间形成网关；以及

通过所述网关促进所述平台与网络之间的通信业务，使得经由所述网络能够访问的不可信子系统不可能更改或修改除指定通信信道的内容之外的可信子系统的内容，并且使得在所述通信信道中不存在可利用故障。

6.根据权利要求5所述的非暂时性计算机可读介质，其中，所述转换数据包括系统架构代码、粘合代码相关构件和消息规范。

7.根据权利要求6所述的非暂时性计算机可读介质，其中，所述通信代码生成器还生成形式规范、证明和相关代码。

8.根据权利要求5所述的非暂时性计算机可读介质，其中，所述通信代码生成器还生成形式规范、证明和相关代码。