Accession Number:

ADA465328

Title:

SOL: A Verifiable Synchronous Language for Reactive Systems

Descriptive Note:

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

2002-01-01

Pagination or Media Count:

15.0

Abstract:

SOL Secure Operations Language is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated static analysis techniques, such as automatic theorem proving using decision procedures or model checking. Among the unique features of SOL is the ability to express a wide class of enforceable safety and security policies including the temporal aspects of software component interfaces in the language itself, thereby opening up the possibility of eliminating runaway computations and malicious code, such as worms and viruses.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE