プログラム obol.sf.net

Obol は、セキュリティ プロトコルのプログラミング言語です。このアイデアは、セキュリティ プロトコルの記述と分析に使用される抽象化に近いプログラムを作成し、メッセージ表現、通信、暗号などの低レベルの詳細をランタイムに残すことを考えています。