Программы obol.sf.net

Obol является языком программирования для протоколов безопасности. Идея заключается в том, чтобы программировать ближе к абстракциям, используемым для описания и анализа протоколов безопасности, оставляя низкоуровневые детали