Patent №
US 9,378,377
Granted
2016-06-28
Filed 2014
Owner
HRL LABORATORIES, LLC
Lab
—
AI components
3
kr · planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14208501
The present invention relates to a system for information flow security inference through program slicing. In operation, the system receives an information flow security policy for source code security, refines the information flow security policy, and analyzes the source code to provide refinements as constraints, such that if there is a source code violation of the constraints, the source code is identified for inspection and removal.
AI classification
Ownership
HRL LABORATORIES, LLC
assignment · 326390258
Assignors
KUAN, GEORGE, NOGIN, ALEKSEY, KOPYLOV, ALEXEI
On an employer assignment, the assignors are typically the inventors.