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 免費

  開源檔加密，編寫，以瞭解加密技術，程式設計等。 希望想出一些新的加密技術，可能有利於公眾。