27、机密性相关的系统架构与技术研究

机密性相关的系统架构与技术研究

1. 受控交互执行的粗略架构

受控交互执行（Controlled Interaction Execution，CIE）的粗略架构主要包含以下几个关键部分：
- 底层信息系统的功能服务器 ：用于存储实例和进行正确的交互处理。
- 定理证明器 ：解决所涉及逻辑的蕴含问题。
- 审查器集合 ：每个审查器都经过验证，满足机密性要求。
- 维护数据库 ：为每个授权客户端存储客户端状态，包括静态声明参数和动态信息。静态声明参数有：
1. 所需的客户端特定机密性策略。
2. 假定的先验知识。
3. 交互的授权。
4. 可应用的审查器类型。
动态信息包括：
5. 交互历史，包括实际应用的审查器。
6. 根据先前返回消息的客户端视图表示（最简单的情况是 synView）。
- 客户端模拟器 ：确定视图表示（最简单的情况是将答案句子添加到以先验知识初始化的日志文件中）。

下面是该架构的 mermaid 流程图：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(客户端请求):::process --> B(认证与访问控制):::process
    B --> C(定理证明器