首页>
外国专利>
Formal Analysis of the Quality and Conformance of Information Flow Downgraders
Formal Analysis of the Quality and Conformance of Information Flow Downgraders
展开▼
机译:信息流降级者的质量和整合的形式化分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
Mechanisms for evaluating downgrader code in application code with regard to one or more security guidelines are provided. Downgrader code in application code is identified, where the downgrader code is a portion of code in the application code that operates on an information flow of the application code to ensure confidentiality of information input to the downgrader code, in the output of the downgrader code. Processes of the downgrader code are evaluated against security guidelines to determine if the processes violate the security guidelines. A notification is generated in response to the evaluation indicating that the processes of the downgrader code violate the security guidelines. The notification is output to a computing device for consideration.
展开▼