FS2PVA Cryptographic-Protocol Verifier for F# | |
Download |
FS2PV Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Microsoft Research
- Operating Systems:
- Windows All
- File Size:
- 2.2 MB
FS2PV Tags
- compiler compile protocol AppConfig Verifier Verifier email verifier CD verifier url verifier File Verifier SFV verifier Speed Verifier HDMP protocol YMSG protocol bot verifier free deactivation verifier mail verifier server verifier connection verifier nmdc protocol Website Verifier honeypot verifier webpage verifier chord verifier RTMPE protocol signature verifier network verifier ActiveSync Verifier spell verifier data verifier universal code verifier local cinema verifier Checksum verifier Episode Verifier version verifier cryptographic library cryptographic tool cryptographic transformation cryptographic scheme cryptographic cryptographic application MD5 Verifier hash code verifier ISO Verifier crc verifier integrity verifier disk verifier MD5SUM verifier Application Verifier COM port verifier uptime verifier System Verifier Who Is protocol cryptographic protection link verifier text verifier stream integrity verifier cryptographic object cryptographic program Flash Verifier MediaStream Verifier SHA-1 verifier UPnP Verifier POST attack verifier bitrate verifier Port Verifier PDF verifier Cryptographic SDK Header Verifier Stability Verifier Java verifier use cases verifier activity verifier IMAP Verifier account verifier connectivity verifier digitally signature verifier Update Verifier C++ classes verifier Hash Verifier Assembly Verifier Control Verifier WPF Control Verifier Word Verifier cryptographic hash value spelling verifier Verify Cryptographic-Protocol PI-calculus Model mechanical verifier Prerequisites Verifier web application verifier Data Stream Verifier PE verifier cryptographic function Pre-Requisite Verifier Installation Verifier cryptographic operation e-mail verifier cryptographic algorithms
FS2PV Description
FS2PV was dev eloped to be a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties or to find security flaws.
FS2PV Related Software