학술논문
Static analysis and computer security: New techniques for software assurance.
Document Type
Theses
Author
Source
Dissertation Abstracts International; Dissertation Abstract International; 62-01B.
Subject
Language
English
Abstract
Summary: These two success stories provide strong support for the methodology, and they suggest that static analysis may prove a powerful tool for improving the assurance level of securitysensitive software in the future.