[发明专利]信息流降级器的质量和一致性的形式分析

摘要

提供了用于关于一个或者多个安全性准则评估应用代码中的降级器代码的机制。识别应用代码中的降级器代码，其中降级器代码是应用代码中的、对应用代码的信息流进行操作以确保向降级器代码输入的信息在降级器代码的输出中的保密性的一部分代码。相对于安全性准则来评估降级器代码的过程以确定这些过程是否违反安全性准则。响应于评估指示降级器代码的过程违反安全性准则而生成通知。向计算设备输出该通知以进行考虑。

主权项

一种用于在数据处理系统中关于一个或者多个安全性准则评估应用代码中的降级器代码的方法，包括：由所述数据处理系统的应用分析机制识别所述应用代码中的所述降级器代码，其中所述降级器代码是所述应用代码中的、对所述应用代码的信息流进行操作以确保向所述降级器代码输入的信息在所述降级器代码的输出中的保密性的一部分代码；由所述应用分析机制相对于所述一个或者多个安全性准则来评估所述降级器代码的一个或者多个过程，以确定所述降级器的所述一个或者多个过程是否违反所述一个或者多个安全性准则；由所述应用分析机制响应于所述评估指示所述降级器代码的所述一个或者多个过程违反所述一个或者多个安全性准则而生成通知；以及由所述应用分析机制输出所述通知。