SOL: A Verifiable Synchronous Language for Reactive Systems

  title={SOL: A Verifiable Synchronous Language for Reactive Systems},
  author={Ramesh Bharadwaj},
  journal={Electr. Notes Theor. Comput. Sci.},
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… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 18 extracted citations

Secure Middleware for Defence Applications

Dr. Ramesh Bharadwaj, Mr. Rudolf Schreiner
View 11 Excerpts
Highly Influenced

An adaptable security framework for service-based systems

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems • 2005
View 8 Excerpts
Highly Influenced

A Software Hub for High Assurance Model-Driven Development and Analysis

Rance Cleaveland Steve Sims David Hansel Dan DuVarney


Publications referenced by this paper.
Showing 1-10 of 21 references

Synchronous Programming of Reactive Systems

CAV • 1998
View 11 Excerpts
Highly Influenced

Enforceable security policies

ACM Trans. Inf. Syst. Secur. • 2000
View 4 Excerpts
Highly Influenced


C. L. Heitmeyer
D. Je ords, and B. G. Labaw. Automated consistency checking of requirements speci cations. ACM Transactions on Software Engineering and Methodology, 5(3):231{261, April{June • 1996
View 4 Excerpts
Highly Influenced


C. Heitmeyer
Kirby, Jr., B. Labaw, and R. Bharadwaj. SCR*: A toolset for specifying and analyzing software requirements. In Proc. Computer-Aided Veri cation, 10th Annual Conf. (CAV'98), Vancouver, Canada, • 1998
View 1 Excerpt

Java security: present and near future

IEEE Micro • 1997
View 2 Excerpts

Similar Papers

Loading similar papers…