ProVerif Editor 0.2

相关软件

• Child Computer Time Out 免费试用

  如果你担心你的孩子可能花太多时间上网或玩游戏——或者你不想让他/她当你睡着或不在家时使用你的电脑——这种类型的软件提供了一个解决方案。它允许您对孩子在电脑或网上花费的时间设置限制。子计算机出机允许您指定计算机的确切时间和使用时间，并定义允许不受任何限制使用计算机的用户。您可以安排时间间隔和每个孩子每周每天可以使用计算机的小时数。当孩子熄灯时，它会自动将孩子从计算机中注销。此外，您还可以在指定日期之后、指定日期之后或指定日期之间阻止使用 PC。子计

• Cloud Online Backup 免费试用

  Cloudonline 备份是用于在线备份的快速、安全的解决方案。它保证所有传输的安全并加密，在后台运行，并确保数据丢失没有危险。文件的早期版本被保留，可以很容易地从联机备份还原。文件可以在任何时候通过网络界面访问。

• Hackademic Challenges 免费

  Hackademic 挑战是一个开源项目，可帮助您测试 Web 应用程序安全性知识。您可以使用它实际攻击现实但又可控制且安全的环境中的 Web 应用程序。

• Internet History Washer 免费试用

  清除互联网冲浪痕迹的简单方法没有人会发现：- 您访问过哪些网站- 您搜索的- 您的密码-并识别您为回头客为了确保这一点，该计划将清除：- 临时互联网文件和 Cookie- 历史- 最近键入的 URL- 自动完成表单历史记录

• Fast Windows Hider 免费试用

  快速 Windows 隐藏器是一种保护工具，旨在帮助您同时隐藏任何窗口（应用程序）。只需按热键或单击图标。您可以隐藏 Internet 资源管理器或其他 Internet 浏览器、ICQ、AIM、IRC、Word、电影、游戏、电子邮件、照片或任何其他您希望保密的窗口。使用快速 Windows 隐藏器，您可以立即隐藏/恢复任何窗口，而不是关闭或最小化它们。它保留你的工作，游戏或私人信息。你可以放松，不要担心你的老板，同事，朋友，家人或任何其他好奇的

• Openwall wordlists collection 免费试用

  用于密码恢复实用程序的字列表的广泛集合。此集合包含 20 多种语言的字列表和常用密码列表。包括的语言有：南非荷兰语、克罗地亚语、捷克语、丹麦语、荷兰语、英语、芬兰语、法语、德语、匈牙利语、意大利语、日语、拉丁语、挪威语、波兰语、俄语、西班牙语、斯瓦希里语、瑞典语、土耳其语和意第绪语。还有一个列表，列出所有语言在一个文件中组合起来的通用密码和唯一单词（近 400 万个条目的超过 40 MB）。最后，有一个巨大的列表，所有通用密码和单词从所有语言与字

• OneNote Password Recovery 免费试用

  OneNote 密码恢复是一个程序，用于恢复 Microsoft OneNote 笔记本电脑丢失或忘记的密码。支持多语言密码。支持所有版本的 Microsoft OneNote。{@}

• One Click Privacy 免费试用

  一键隐私永久擦除所有互联网活动，缓存的密码和信用卡信息，IM日志，媒体播放器记录，搜索引擎查询和应用程序使用，只需点击一下！盖住你的曲目！无论在电脑上发生什么，都留在电脑上。您的计算机记录了几乎每个网站访问的一切，您的所有互联网活动，搜索引擎查询，图片，音乐和视频观看，访问和下载。每个 IM 会话（包括全文）也会自动存储在计算机内存中。不要被你抓住数字裤子下来！一键隐私永久删除一切你不需要，只需点击一下。特点：永久删除所有互联网活动和历史记录。删

• RC4.NET 免费

  RC4.NET是一个库，它增加了对使用 .NET 环境中的对称 RC4 算法加密/解密的支持。该库以 C# 语言编写，在 Microsoft CLR 和 Mono 平台上的表现同样良好。

• Secure File Encryption Program 免费

  开源文件加密，编写，以了解加密技术，编程等。 希望想出一些新的加密技术，可能有利于公众。