Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with protocol-security

A curated list of projects in awesome lists tagged with protocol-security .

https://github.com/belajarqywok/xml_web_token

XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.

authentication experimental protocol-security research security soap-api

Last synced: 30 Nov 2024

https://github.com/jakuj/ofmc-parallel

Multicore OFMC implementation

model-checking ofmc protocol-security

Last synced: 10 Nov 2024

https://github.com/logicalhacking/isabelle-ofmc

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

isabelle-hol ofmc protocol-security

Last synced: 16 Nov 2024