Invention Grant
- Patent Title: Formal analysis of the quality and conformance of information flow downgraders
-
Application No.: US12968646Application Date: 2010-12-15
-
Publication No.: US08667584B2Publication Date: 2014-03-04
- Inventor: Ryan J. Berg , Marco Pistoia , Takaaki Tateishi , Stephen D. Teilhet , Omer Tripp
- Applicant: Ryan J. Berg , Marco Pistoia , Takaaki Tateishi , Stephen D. Teilhet , Omer Tripp
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Stephen J. Walder, Jr.; Jeffrey S. LaBaw
- Main IPC: G06F21/00
- IPC: G06F21/00

Abstract:
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.
Public/Granted literature
- US20120159619A1 Formal Analysis of the Quality and Conformance of Information Flow Downgraders Public/Granted day:2012-06-21
Information query