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 ==

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

App provisioning and DRM

Main article: Digital Rights Management

Authentication

  • SAML (Security Assertion Markup Language)

Claim representation

Digital certificates, keys, etc.

Digital certificate collections

Electronic signatures

Malware/spyware

Passwords

See also Encryption#Password hashes.

Protocols

  • TLS (including SSL)

Security policies

Software

Verification

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

Links and references

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox