S
SOMEIP-Tamarin
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"