DARPA Awards Grant to GrammaTech for Static Analysis of AI Systems

2/17/2004 - GrammaTech, Inc. announced that it has been awarded a Small Business Innovative Research (SBIR) contract by the Defense Advanced Research Projects Agency (DARPA).

Toolkits for Artificial Intelligence (AI) are increasingly being used in government and industry. If such systems have access to sensitive information, it is important to know their security properties. A toolkit may contain low-level flaws, such as buffer-overrun errors that allow an attacker to gain control of the host system. Or, there may be flaws in the rule base of a system implemented with the toolkit that allow unauthorized access to sensitive information. Under this SBIR contract, GrammaTech will perform a detailed study of the security properties of CLIPS, a widely used expert-system shell, in two parts. The first part will be a detailed analysis of the source code of the system using static analysis tools and other methods to find low-level flaws. The second part will be a study of the CLIPS language and the exploration of static and dynamic approaches to create secure CLIPS programs.

GrammaTech was founded in 1988 to design, develop, and market language-based productivity tools for software engineers. The company has an active research agenda sponsored by the Defense Advanced Research Projects Agency (DARPA), the Missile Defense Agency (MDA), the National Aeronautics and Space Administration (NASA), the National Institute of Standards and Technology (NIST), the National Science Foundation (NSF), the Office Of The Secretary Of Defense (OSD), the United States Air Force Research Laboratory (AFRL), and the United States Navy (USN). The company has conducted previous research on dependence graphs, formal methods, and language-based programming, and has successfully transitioned its research into commercial software tools. GrammaTech currently markets CodeSurfer, a software-understanding tool, Ada-ASSURED, a language-sensitive editor, Ada-Utilities, a language-sensitive toolset for project-wide quality and standards auditing, and the Synthesizer Generator, a tool for developing language-sensitive program-development environments. These products are available directly from GrammaTech. Additional information is available on the Internet at www.grammatech.com.

For more information contact Mark Zarins at GrammaTech, 317 N. Aurora St., Ithaca, NY 14850. Phone: 607-273-7340 EXT:22. Fax: 607-273-8752. E-mail: info@grammatech.com

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: