Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.546.940 Times

Obol 0.2007.01.19

  Date Added: June 04, 2010  |  Visits: 437

Obol

Report Broken Link
Printer Friendly Version


Product Homepage
Download (76 downloads)



Obol is part of a project to investigate properties of security protocols, what they are, how they behave, how they interact, how to deal with them. The Obol language grew out of a desire to escape the distractions of low-level implementation efforts, and the need to experiment and express security protocols as independent programs, closer to the level on which security protocols are analysed. Whats it all 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 runtime. The runtime will then handle "mundane" issues such as message representation, communication, cryptographic transformations and so on. Whats the point of that? By focusing on the security aspects of the protocol being implemented, one avoid the typical entanglement of security protocol code, low-level cryptographic functions, and application logic. Obol keeps these three aspects separate, resulting in a clean, highly modular and very flexible security protocol framework. Think of it as trying to do for security protocols what SQL did for databases. Whats it implemented in? The most mature (and actively developed) runtime version is implemented in Java, using ANTLR for the parsing. Earlier prototypes were implemented in Common Lisp and Python. What can it be used for? Security protocols, or any protocol structure that involve composition and transformation. Obol is interpreted, and protocols can very easily be upgraded. The runtimes modular structure allows for new message representation formats, cryptographic primitives, communication technology and so on, to be added dynamically. What does it look like? As an example, consider the typical way a message in a security protocol is described: A → B: A, B, {A, B, Na}Kab The above means that A sends B a message consisting of the senders name, the intended recipients name, and then encrypts a repetition of the names along with a nonce Na(random value) using the shared-key Kab. We have not made the assumption that Obol must run on both protocol endpoints, so we must implement both sides (both A and B): A side (send B A B (encrypt Kab A B Na) B side (receive A A B (decrypt Kab A B *Na)) In the above example we assume that A and B know about each other, and that share the key Kab. However, the nonce Na is unknown to B, so B cannot recognize it, but can assign the unknown datum to a symbol, which is what the *Na construct does. How can Obol be used? An application must connect to the Obol runtime and request that it starts an Obol protocol, or script. The application receives a handle which it can use to communicate with the script instance, i.e. starting and stopping the protocol execution, setting and retrieving values the script requires and provides. Whats New in This Release: Fixes: - Jar file trouble - robustness issues - symbol property dereferencing.

Requirements: No special requirements
Platforms: Linux
Keyword: Miscellaneous Na Obol Protocol Protocols Security Security Protocols
Users rating: 0/10

License: Freeware Size: 15 MB
USER REVIEWS
More Reviews or Write Review


OBOL RELATED
Modules  -  Filter allowed protocols 7.x-1.0-beta1
A small module that exposes an interface for the allowed protocols used in filter_xss_bad_protocol(). Inspired by #324731: Add more chat protocol support to filter_allowed_protocols so you can create links like
10 KB  
Utilities  -  Network Security Toolkit 1.5.0
Network Security Toolkit is a bootable ISO live CD and its based on Fedora Core 2. The toolkit was designed to provide easy access to best-of-breed Open Source Network Security Applications and should run on most x86 platforms. The main intent...
364.9 MB  
Home & Leisure  -  Microsoft Security Essentials & ForeFront Client Security Definition Updates 1.97.2355.0
This package will help you install the latest Microsoft ForeFront Client Security definition updates. mpam-fe.exe Antimalware Full + Engine package (for x86, amd64, ia64) Contains engine (mpengine.dll), mpasbase.vdm, mpasdlta.vdm, mpavbase.vdm,...
 
Security  -  PHP Security Scanner 1.0.2
PHP Security Scanner is a tool written in PHP intended to search PHP code for vulnarabilities. MySQL DB stores patterns to search for as well as the results from the search. The tool can scan any directory on the file system.
 
Security Tools  -  FREE CompuSec® PC Security Suite 4.18.4
FREE CompuSec® is a suite of security solutions designed to completely protect desktops and notebooks. This software is a full version without any limitations and it is not a demo. The security functions that can be found in FREE CompuSec® are...
18.16 MB  
Linux Software  -  FREE CompuSec® PC Security Suite - Linux 0.8.2
FREE CompuSec® is a suite of security solutions designed to completely protect desktops and notebooks. This software is a full version without any limitations and it is not a demo. The security functions that can be found in FREE CompuSec® are...
7.35 MB  
Networking Tools  -  SARA 7.0.2c
SARA, the Security Auditors Research Assistant is a third generation network security analysis tool.. This page contains information aboutAdvanced Research Corporation
5.5 MB  
Security Tools  -  Internet Security Monitor 1.0
Prevent your passwords, credit card and SSN numbers, etc from sending to the Internet in open, unencrypted format. The Internet Security Monitor monitors all outgoing information from your computer and if it sees an attempt to send your sensitive...
595 KB  
Security Tools  -  SDL Threat Modeling Tool 3. 1. 2008
The Microsoft SDL Threat Modeling Tool allows for early and structured analysis and proactive mitigation and tracking of potential security issues. The SDL Threat Modeling Tool helps engineers analyze the security of their systems to find and...
3.6 MB  
Specialized Tools  -  Website Security Monitor 1.0
Do you own a personal blog, manage a small e-commerce online store or maintain a large corporate website? Do you use a modern CMS system like Wordpress, Joomla, Drupal or DNN with installed third-party plugins and modules? Do your share your site...
1013.76 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, SECURITY TOOLS
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Security Tools  -  Free AntiSpyware 7.2.5
As powerful and professional anti-spyware software, Free AntiSpyware has ability to detect & stop the latest and most malicious programs that are doing harm to your computer and breaking your privacy. This free spyware remover software helps...
128.08 MB  
Security Tools  -  paraproxy 1.1
paraproxy is a supplement library for paramiko which adds support for SSH2 proxy commands. #md5=0c7041e8d2d7e49b09df526bba3efb28 #md5=1fbb4f888f40a01439ff27458c6210eb #md5=493c0f426e376427c30f3f39ebc8dac1
20.48 KB  
Security Tools  -  pam_smxs 1.6
pam_smxs is a PAM module that authenticates a user using challenge-response. All tokens that support ANSI X9.9 are currently supported and it provides full support for CryptoCard RB1 tokens.
522.24 KB  
Security Tools  -  DoudouLinux 2011-11
DoudouLinux [1] is a system specially designed for children to make computer use as easy and pleasant as possible for them (and for their parents too! [2]). DoudouLinux provides tens of applications that suit children from 2 to 12 years and tries...
964.17 MB  
Security Tools  -  django-auth-ldap 1.0.19
This authentication backend enables a Django project to authenticate against any LDAP server. To use it, add django_auth_ldap.backend.LDAPBackend to AUTHENTICATION_BACKENDS. It is not necessary to add django_auth_ldap to INSTALLED_APPLICATIONS...
30.72 KB