Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,360,564 papers from all fields of science
Search
Sign In
Create Free Account
Secure Operations Language
Known as:
Secure Operations Language (SOL)
, Sol
The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and Utah State University in the United…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Domain-specific language
Electronic Notes in Theoretical Computer Science
List of programming languages
Programming language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
SOL - Secure Operations Language
Yuri Lewash
2013
Corpus ID: 67057067
2008
2008
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems
Ramesh Bharadwaj
,
S. Mukhopadhyay
32nd Annual IEEE International Computer Software…
2008
Corpus ID: 8045160
In this paper, we present a formal framework for developing distributed service-oriented systems in an event-driven secure…
Expand
2005
2005
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems
R. Jeffords
,
Ramesh Bharadwaj
Proceedings. Second ACM and IEEE International…
2005
Corpus ID: 211691
Building robust, secure distributed systems in the presence of transient faults, node failures, and changes in network topology…
Expand
2003
2003
A Framework for the Formal Analysis of Multi-Agent Systems
Ramesh Bharadwaj
2003
Corpus ID: 31123174
Abstract : In this paper we present an integrated formal framework for the specification and analysis of Multi-Agent Systems (MAS…
Expand