프로그램별 obol.sf.net

Obol보안 프로토콜을 위한 프로그래밍 언어입니다. 이 아이디어는 보안 프로토콜을 설명하고 분석하는 데 사용되는 추상화에 더 가깝게 프로그래밍하여 메시지 표현, 통신, 암호화와 같은 낮은 수준의 세부 정보를 런타임에 남기는 것입니다.