Back to results
US 2006/0143689 A1Published application
Information flow enforcement for RISC-style assembly code
AssigneeDoCoMo Communications Laboratories USA, Inc.
InventorsDachuan Yu, Nayeem Islam
Life of this patent
Estimating the term…
Abstract
A method, article of manufacture and apparatus for performing information flow enforcement are disclosed. In one embodiment, the method comprises receiving securely typed native code and performing verification with respect to information flow for the securely typed native code based on a security policy.
Claims27
A method comprising:
- receiving securely typed native code;
- performing verification with respect to information flow for the securely typed native code based on a security policy.
An article of manufacture having one or more recordable media storing instructions thereon which, when executed by a system, causes the system to perform a method comprising:
- receiving securely typed native code;
- performing verification with respect to information flow for the securely typed native code based on a security policy.
An apparatus comprising:
- a memory to store annotated assembly code, a verification module, an code modification module;
- and
- a processor to execute the verification module to perform verification with respect to information flow for the annotated code based on a security policy.
A method comprising:
- performing a security-type preserving translation on assembly code, including
- annotating memory, stack and register contents with security levels, and
- rebuilding source-level structure of the assembly code with annotations by adding operations to the assembly code to mark the beginning and ending of a security region of the assembly code in which two execution paths based on confidential information are encountered;
- certifying compilation for information flow resulting from the assembly code when executed;
- and
- sending the securely typed assembly code onto a network.
3 more elements
Dependencies are inferred from the claim text.