Multi-Abstractions System Reasoning Infrastructure toward Achieving Adaptive Computing Systems

"The complexity of modern computer systems has grown to the point of stressing human ability to understand their behavior completely. The sheer number of software components (and the myriad interactions between them) that are present on a single desktop computer presents a difficult security challenge that continues to confound modern protection technologies. Every day, new exploits are created that take advantage of obscure combinations of software bugs and unexpected behavior to sidestep existing defenses. Response is slow, requiring human effort to diagnose and develop new counter-measures to each new threat. GrammaTech envisions a new paradigm for building system security that endows the computer, itself, with the tools to diagnose new attacks, reason about their impact to the system, and implement countermeasures in an automatic fashion. Autonomy-oriented computation offers the potential to allow complex computer systems to police themselves, detecting intrusion, performing self-healing, and directly countering cyber threats."