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