Patents

Patents Granted by the United States Patent and Trademark Office and Filed Internationally

1. System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies.  Granted as Patents No. US-9836608-B2 (December 2017), US-9607154-B2 (March 2017), US-20170039375-A1 (February 2017), US-20150089637-A1 (March 2015), US-8572727-B2 (October 2013) and US-20110126282-A1 (May 2011)

2. Method and system for run-time dynamic and interactive identification software authorization requirements and privileged code locations, and for validation of other software program analysis results.  Granted as Patents No. US-9449190-B2 (September 2016), US-20090007223-A1 (January 2009) and US-20070261124-A1 (November 2007)

3. Static analysis for verification of software program access to secure resources for computer systems.  Granted as Patents No. US-8793800-B2 (July 2014) and US-8683599-B2 (March 2014)

4. Carbon management for sourcing and logistics.  Granted as Patents No. US-8606621-B2 (December 2013), US-20130117061-A1 (May 2013), US-20130013367-A1 (October 2013), US-8346595-B2 (January 2013) and US-20100131316-A1 (May 2010)

5. Automatic optimization of string allocations in a computer program.  Granted as Patent No. US-8473899-B2 (June 2013)

6. Static analysis for verification of software program access to secure resources for computer systems.  Granted as Patents No. US-8381242-B2 (February 2013), US-20130031622-A1 (January 2013), US-20120331547-A1 (December 2012) and US-20120023553-A1 (January 2012)

7. Unchanged Object Management.  Granted as Patents No. US-20120331445-A1 (December 2012) and US-20120089962-A1 (April 2012)

8. System and method for the automatic identification of subject-executed code and subject-granted access rights.  Granted as Patents No. US-8332939-B2 (December 2012) and US-20080201693-A1 (August 2008)

9. System and method for the automatic evaluation of existing security policies and automatic creation of new security policies.  Granted as Patents No. US-8230477-B2 (July 2012) and US-20080201760-A1 (August 2008)

10. System and method for the automatic verification of privilege-asserting and subject-executed code.  Granted as Patents No, US-8006233-B2 (August 2011) and US-20080201688-A1 (August 2008)

11. Automatic Optimization of String Allocations in a Computer Program.  Granted as Patent No. US-20110145785-A1 (June 2011)

12. Apparatus, System, Method and Computer Program Product for Analysis of Fraud in Transaction Data.  Granted as Patent No. US-20080109272-A1 (May 2008)

13.  Method and system for the creation of service clients.  Granted as Patent No. US-20070260737-A1 (November 2007)

14. System, apparatus, and method for identifying authorization requirements in component-based systems.  Granted as Patent No. US-20050262487-A1 (November 2005)