Skip to content

GitLab

Explore

Sign in

S

SecOC-Tamarin

Project information

A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)

1 Commit
1 Branch
0 Tags

README

Created on

October 30, 2020

Copy SSH clone URLgit@code.fbi.h-da.de:seacop/secoc-tamarin.git
Copy HTTPS clone URLhttps://code.fbi.h-da.de/seacop/secoc-tamarin.git

Loading