Chương trình theo obol.sf.net

Obol là một ngôn ngữ lập trình cho các giao thức bảo mật. Ý tưởng là để chương trình gần gũi hơn với abstractions được sử dụng để mô tả và phân tích các giao thức bảo mật, để lại các chi tiết cấp thấp như đại diện tin nhắn, g