![](/statics/img/blank.png)
ProVerif Editor 0.2
用於使用 ProVerif 編輯和檢查 SPI 微積分中指定的協定的編輯器。
版本歷史記錄
- 版本 0.2 發佈於 2010-01-08
若干修復和更新 - 版本 0.2 發佈於 2010-01-08
軟體細節
- 軟體分類: 安全和隱私 > 其他
- 發佈者: proverifeditor.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.2
- 作業系統: windows
相關軟體
-
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 免費
開源檔加密,編寫,以瞭解加密技術,程式設計等。 希望想出一些新的加密技術,可能有利於公眾。