Verifpal

From Just Solve the File Format Problem
(Difference between revisions)
Jump to: navigation, search
(Created page with "{{FormatInfo |formattype=electronic |subcat=Security |extensions={{ext|vp}} }} '''Verifpal''' is a language in which the characteristics of an encryption-based system can be d...")
 
 
Line 3: Line 3:
 
|subcat=Security
 
|subcat=Security
 
|extensions={{ext|vp}}
 
|extensions={{ext|vp}}
 +
|released=2019
 
}}
 
}}
'''Verifpal''' is a language in which the characteristics of an encryption-based system can be described (like who holds or generates which keys) and the Verifpal software can determine the vulnerabilities associated with it. Its user manual begins with a manga-style [[Comics|comic]]. It is free, open-source software, available for multiple platforms.
+
'''Verifpal''' is a language in which the characteristics of an encryption-based system can be described (like who holds or generates which keys) and the Verifpal software can determine the vulnerabilities associated with it. Its user manual begins with a manga-style [[Comics|comic]]. It is free, open-source software, available for multiple platforms. It was developed in the [[Go]] language.
  
 
== Links ==
 
== Links ==

Latest revision as of 02:14, 29 August 2019

File Format
Name Verifpal
Ontology
Extension(s) .vp
Released 2019

Verifpal is a language in which the characteristics of an encryption-based system can be described (like who holds or generates which keys) and the Verifpal software can determine the vulnerabilities associated with it. Its user manual begins with a manga-style comic. It is free, open-source software, available for multiple platforms. It was developed in the Go language.

[edit] Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox