|
About:
Obol is a specialized high-level programming
language for security protocols. The idea is to
program closer to the abstractions used to
describe and analyze security protocols, and leave
all the nasty details to the language's runtime.
The runtime will then handle "mundane" issues
such as message representation, communication,
cryptographic transformations and so on. The
language is interpreted, and the runtime written
in Java.
Author:
perm [contact developer]
Homepage:
http://www.pasta.cs.uit.no/~perm/Obol/
Zip:
http://www.pasta.cs.uit.no/~perm/Obol/files/oobol-snap-latest.zip
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 21672)
» Popularity: 0.14% (Rank 29248)

(click to enlarge graphs)
Record hits: 1,636
URL hits: 331
Subscribers: 3
|
|