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, giao tiếp, tiền điện tử, để thời gian chạy.
lịch sử phiên bản
- Phiên bản 2009-03-28-snap đăng trên 2009-03-28
Một số bản sửa lỗi và cập nhật - Phiên bản 2009-03-28-snap đăng trên 2009-03-28
Chi tiết chương trình
- Mục: Bảo mật & Quyền riêng tư > Khác
- Publisher: obol.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 2009-03-28
- Nền tảng: windows