SOL: A Verifiable Synchronous Language for Reactive Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2002
Accession Number
ADA465328

Entities

People

  • Ramesh Bharadwaj

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Biomedical
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Computer Programming
  • Computer Science
  • Computers
  • Fault Tolerance
  • Graphical User Interface
  • Guarantees
  • Information Operations
  • Language
  • Military Research
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Programming Languages
  • Security
  • Theoretical Computer Science
  • User Interface

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.
  • Surface Engineering/Surface Coating Technology.