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 무료 평가판
Cloudonlinebackup은 온라인 백업을 위한 빠르고 안전한 솔루션입니다. 모든 전송을 안전하게 유지하고 암호화하고 백그라운드에서 실행되며 데이터 손실이 위험하지 않도록 합니다. 이전 버전의 파일은 유지되며 온라인 백업에서 쉽게 복원할 수 있습니다. 파일은 웹 인터페이스에 의해 항상 액세스 할 수 있습니다.
-
Hackademic Challenges 무료
Hackademic 과제는 웹 응용 프로그램 보안에 대한 지식을 테스트하는 데 도움이 되는 오픈 소스 프로젝트입니다. 현실적이면서도 제어 가능하고 안전한 환경에서 실제로 웹 응용 프로그램을 공격하는 데 사용할 수 있습니다.
-
Internet History Washer 무료 평가판
인터넷 서핑 흔적을 지우는 쉬운 방법아무도 이제까지 알아 낼 수 없습니다 :- 방문한 사이트 - 당신이 검색 한 것 - 암호 - 그리고 반복 방문자로 당신을 식별하기 위해이를 위해 프로그램은 다음을 지웁울 것입니다.- 임시 인터넷 파일 및 쿠키 - 역사 - 최근에 입력된 URL - 자동 완성 양식 기록
-
Fast Windows Hider 무료 평가판
빠른 Windows Hider는 한 순간에 모든 창 (응용 프로그램)을 숨길 수 있도록 설계된 보호 도구입니다. 핫키를 누르거나 아이콘을 클릭하기만 하면 됩니다. Internet Explorer 또는 다른 인터넷 브라우저, ICQ, AIM, IRC, 워드, 영화, 게임, 전자 메일, 사진 또는 비공개로 유지하려는 기타 창을 숨길 수 있습니다. 빠른 Windows Hider를 사용하면 창을 닫거나 최소
-
Openwall wordlists collection 무료 평가판
암호 복구 유틸리티와 함께 사용하기 위한 광범위한 단어 목록 모음입니다. 이 컬렉션에는 20개 이상의 인간 언어에 대한 단어 목록과 공통 암호 목록이 포함되어 있습니다. 포함 된 언어는 다음과 같습니다 아프리칸스, 크로아티아어, 체코어, 덴마크어, 네덜란드어, 영어, 핀란드어, 프랑스어, 독일어, 헝가리어, 이탈리아어, 일본어, 라틴어, 노르웨이어, 폴란드어, 러시아어, 스페인어, 스와힐리어, 스웨덴
-
OneNote Password Recovery 무료 평가판
OneNote 암호 복구는 Microsoft OneNote 노트북에 대해 분실되거나 잊어버린 암호를 복구하는 프로그램입니다. 다국어 암호가 지원됩니다. Microsoft OneNote의 모든 버전이 지원됩니다.
-
One Click Privacy 무료 평가판
한 번의 클릭 프라이버시는 모든 인터넷 활동, 캐시된 암호 및 신용 카드 정보, IM 로그, 미디어 플레이어 레코드, 검색 엔진 쿼리 및 애플리케이션 사용량을 단 한 번의 클릭으로 영구적으로 지웁웁습니다! 당신의 트랙을 커버! PC에서 어떤 일이 일어나든 PC에 유지됩니다. 컴퓨터는 거의 모든 웹 사이트가 방문한 모든 것, 모든 인터넷 활동 및 검색 엔진 조회, 사진, 음악 및 비디오 조회, 액세스
-
RC4.NET 무료
RC4.NET .NET 환경에서 대칭 RC4 알고리즘을 사용하여 암호화/해독에 대한 지원을 추가하는 라이브러리입니다. 라이브러리는 C# 언어로 작성되었으며 Microsoft CLR 및 Mono 플랫폼에서도 동일하게 수행됩니다.
-
Secure File Encryption Program 무료
오픈 소스 파일 암호화, 암호 그라피, 프로그래밍 등에 대해 배울 작성 그리고 바라건대 대중에게 도움이 될 수있는 몇 가지 새로운 암호화 기술을 생각해 내세요.