Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Obol
  5. Download

Obol 2009-03-28

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu

Về Obol

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.

Các chương trình liên quan

  • Action1 Add or Change Startup Program Miễn phí

    Hệ điều hành Windows tự động khởi động một số ứng dụng nhất định được chỉ định trong mỗi hồ sơ người dùng khi đăng nhập. Thêm một chương trình để khởi động trên Windows có thể hỗ trợ trong việc chuẩn bị máy tính để bàn người

  • Secured Sumatra PDF Miễn phí

    Bảo mật Sumatra PDF là một phiên bản sửa đổi của Sumatra PDF nhằm mục đích được thực hiện trong môi trường máy chủ đầu cuối đặc biệt bảo đảm như Citrix.

  • EyeLog Miễn phí

    EyeLog là một phân tích nhật ký linh hoạt và mở rộng cho bất kỳ loại tệp nhật ký nào. Nó cho phép một để xác định biểu thức chính quy tùy chỉnh (perl-style) cho mẫu phù hợp và tùy chỉnh printf định dạng để báo cáo. Mục đích l

  • gui4bdc Miễn phí

    gui4bdc là một kết thúc trước đồ họa để Bit Defender Console, một máy quét virus cho Linux (có sẵn http://www.bitdefender.com). Nó sẽ nhằm mục đích cung cấp tất cả các chức năng của tiện ích giao diện điều khiển trong một dễ

  • TPM Device Driver Miễn phí

    Trình điều khiển thiết bị để kích hoạt chip TPM như được mô tả bởi thông số kỹ thuật http://www.trustedcomputinggroup.org.Chip TPM sẽ cho phép bạn sử dụng phần cứng để lưu trữ và bảo vệ an toàn các khóa và dữ liệu cá nhân c

  • OpenSmartHome Miễn phí

    Open Smart Home là dự án cung cấp giao diện điều khiển thông minh cho ngôi nhà của bạn.

  • Easy-SEND Miễn phí

    Easy-SEND là một thực hiện giao thức SEND (SEcure Neighbor Discovery) cho IPv6. Nó nhằm mục đích được sử dụng cho mục đích học tập và thử nghiệm. SEND được mô tả trong RFC 3971. Easy-SEND bao gồm một công cụ (CGAGen) để tạo v

  • EasyCrypter Miễn phí

    EasyCrypter là ứng dụng JAVA để mã hóa dữ liệu. Mã hóa tệp của bạn trong một số bước dễ dàng.

  • StegTorrent Miễn phí

    Một công cụ để ẩn BitTorrent metainfo (.torrent tập tin) vào và khôi phục cùng một mặt sau từ hình ảnh (và các loại tệp khác) bằng cách sử dụng phương pháp steganographical, cung cấp giao diện thân thiện cho quá trình này

  • MiniFW Miễn phí

    Linux phân phối đứng trên một đĩa mềm: iptables, hạt nhân 2.4.18, hỗ trợ sshd và dễ dàng để cấu hình.