Obol (programming language)
Encyclopedia
Obol is a high-level security
protocol programming language
at the Computer Science department of the University of Tromsø
.
It is essentially executable BAN logic, i.e. it attempts to move the protocol implementation effort closer to the abstraction level where security protocols are analyzed.
Thus it deals as little as possible with how messages are sent or represented, and instead focuses on content and transformations (e.g. encrypt/decrypt, sign/verify, send/receive).
There is no BAN-ish analysis involved, but the distance from a BAN logic-style idealization and analysis result to an actual executing protocol instance is significantly shorter than with general purpose programming languages like C or Java.
In its current form Obol is interpreted, implemented on Java via ANTLR
. It features middleware-like components and allows invoking Common Lisp (ABCL) and Jython
statemens.
Security
Security is the degree of protection against danger, damage, loss, and crime. Security as a form of protection are structures and processes that provide or improve security as a condition. The Institute for Security and Open Methodologies in the OSSTMM 3 defines security as "a form of protection...
protocol programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
at the Computer Science department of the University of Tromsø
University of Tromsø
The University of Tromsø is the world's northernmost university. Located in the city of Tromsø, Norway, it was established in 1968, and opened in 1972. It is one of eight universities in Norway. The University of Tromsø is the largest research and educational institution in northern Norway...
.
It is essentially executable BAN logic, i.e. it attempts to move the protocol implementation effort closer to the abstraction level where security protocols are analyzed.
Thus it deals as little as possible with how messages are sent or represented, and instead focuses on content and transformations (e.g. encrypt/decrypt, sign/verify, send/receive).
There is no BAN-ish analysis involved, but the distance from a BAN logic-style idealization and analysis result to an actual executing protocol instance is significantly shorter than with general purpose programming languages like C or Java.
In its current form Obol is interpreted, implemented on Java via ANTLR
ANTLR
In computer-based language recognition, ANTLR , or ANother Tool for Language Recognition, is a parser generator that uses LL parsing. ANTLR is the successor to the Purdue Compiler Construction Tool Set , first developed in 1989, and is under active development...
. It features middleware-like components and allows invoking Common Lisp (ABCL) and Jython
Jython
Jython, successor of JPython, is an implementation of the Python programming language written in Java.-Overview:Jython programs can seamlessly import and use any Java class. Except for some standard modules, Jython programs use Java classes instead of Python modules...
statemens.
External links
- Obol homepage at the University of TromsøUniversity of TromsøThe University of Tromsø is the world's northernmost university. Located in the city of Tromsø, Norway, it was established in 1968, and opened in 1972. It is one of eight universities in Norway. The University of Tromsø is the largest research and educational institution in northern Norway...
- Obol at SourceForge.netSourceForge.netSourceForge is a web-based source code repository. It acts as a centralized location for software developers to control and manage open source software development. The website runs a version of SourceForge Enterprise Edition, forked from the last open-source version available...