Security

From Just Solve the File Format Problem
(Difference between revisions)
Jump to: navigation, search
(Security policies)
 
Line 82: Line 82:
 
== Software ==
 
== Software ==
 
* [[OpenSSL]]
 
* [[OpenSSL]]
 +
 +
== Verification ==
 +
* [[Verifpal]] (.vp) (language for modeling aspects of security protocols to test for soundness)
  
 
== Links and references ==
 
== Links and references ==

Latest revision as of 05:35, 28 August 2019

File Format
Name Security
Ontology

{{{caption}}}

Formats specific to the storage and transmission of security information.

See also:

Contents

[edit] App provisioning and DRM

Main article: Digital Rights Management

[edit] Authentication

  • SAML (Security Assertion Markup Language)

[edit] Claim representation

[edit] Digital certificates, keys, etc.

[edit] Digital certificate collections

[edit] Electronic signatures

[edit] Malware/spyware

[edit] Passwords

See also Encryption#Password hashes.

[edit] Protocols

  • TLS (including SSL)

[edit] Security policies

[edit] Software

[edit] Verification

  • Verifpal (.vp) (language for modeling aspects of security protocols to test for soundness)

[edit] Links and references

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox