Obol 2009-03-28
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/obol/files/obol/2009-03-28-snap/obol.zip/download
关于 Obol
Obol 是安全协议的编程语言。其理念是更接近用于描述和分析安全协议的抽象,将低级详细信息(如消息表示、通信、加密)留给运行时。
相关软件
-
Action1 Add or Change Startup Program 免费
Windows 操作系统在登录时自动启动每个用户配置文件中指定的某些应用程序。在 Windows 上将程序添加到启动程序有助于在登录时准备用户桌面,或预先启动某些应用程序以改善用户体验。Action1 包括一个免费工具,用于更改启动程序或将程序添加到网络中的多台 Windows 计算机上启动,所有这些工具都无需使用任何 PowerShell 脚本或命令行工具来添加或更改启动程序。若要删除启动程序,请使用另一个名为"删除启动程序"的操作。
-
Secured Sumatra PDF 免费
安全的苏门答腊PDF是苏门答腊PDF的修改版本,旨在实现在特别安全的终端服务器环境,如Citrix。
-
EyeLog 免费
EyeLog 是一种灵活且可扩展的日志分析器,适合任何类型的日志文件。它允许定义自定义正则表达式(perl 样式)以进行模式匹配,并自定义打印格式进行报告。目标是提供通用日志分析工具。
-
gui4bdc 免费
gui4bdc 是位防御器控制台的图形前端,是 Linux 的病毒扫描器(http://www.bitdefender.com)。它将致力于在易于使用、组织良好的点击式 UI 中提供控制台实用程序的所有功能。
-
TPM Device Driver 免费
设备驱动程序,以启用 TPM 芯片,如在 http://www.trustedcomputinggroup.org http://www.trustedcomputinggroup.org。TPM 芯片将使您能够使用硬件安全地存储和保护密钥和个人数据。 另请参阅 TrouSerS 项目。
-
OpenSmartHome 免费
开放式智能家居项目为您的家庭提供智能控制界面。
-
Easy-SEND 免费
Easy-SEND 是 IPv6 的 SEND(安全邻居发现)协议的实现。它的目的是用于学习和测试的目的。发送在 RFC 3971 中描述。Easy-SEND 包括一个用于生成和验证 CGA (RFC 3972) 的工具 (CGAGen)。
-
EasyCrypter 免费
EasyCrypter 是用于数据加密的 JAVA 应用程序。通过几个简单的步骤加密文件。
-
StegTorrent 免费
将 BitTorrent 元信息(.torrent)隐藏并还原的工具相同的返回从图像(和其他类型的文件)使用断层法,为过程提供友好的GUI。
-
MiniFW 免费
Linux 发行版站在软盘上:iptables、内核 2.4.18、sshd 支持且易于配置。