Wei Ding

US Patent:

8260605, Sep 4, 2012

Filed:

Dec 9, 2009

Appl. No.:

12/633929

Inventors:

Ping Chen - Houston TX, US
Wei Ding - Dorchester MA, US

Assignee:

University of Houston System - Houston TX

International Classification:

G06F 17/21
G06F 17/27

US Classification:

704 10, 704 9, 707999001, 707999003, 707999102

Abstract:

A machine-readable storage medium includes computer-executable instructions that, when executed by a processor, cause the processor to receive as input a target sentence comprising a target word and retrieve a gloss of the target word. The processor is further caused to parse the target sentence and the gloss. The processor is further caused to assign a score to the gloss based on the gloss's coherence to the target sentence.

US Patent:

20140208431, Jul 24, 2014

Filed:

Jan 24, 2014

Appl. No.:

14/163523

Inventors:

Myla M. Archer - Alexandria VA, US
Constance L. Heitmeyer - Washington DC, US
Elizabeth I. Leonard - Silver Spring MD, US
Carolyn B. Gasarch - Silver Spring MD, US
Wei Ding - Boston MA, US

Assignee:

The Government of the United States of America, as represented by the Secretary of the Navy - Arlington VA

International Classification:

G06F 21/57

US Classification:

726 25

Abstract:

A computer implemented tool is described that includes an assertion generator module that can automatically generate assertions, which are usable to verify application-specific security properties, for a computer software program. An assertion checker module can automatically analyze the computer software program to ensure that it satisfies the application-specific security properties. A graphical user interface module can display feedback to diagnose security flaws detected in the computer software program based on the analysis by the assertion checker module. In support of these modules are a code preprocessor module that can translate source code of the computer software program into an intermediate abstract representation, and a database module that can store the generated assertions and associated data in a database. Each of the modules can provide functionality at any time during code construction of the computer software program.