Published January 30, 2022 | Version v1
Conference paper Open

Formal Modelling and Security Analysis of the Inter-Operable Systems

Authors/Creators

  • 1. Blind review

Description

BIP codes for Formal Modelling and Security Analysis of the Inter-Operable Systems

Files

Threat_Modeling_in_BIP-main.zip

Files (19.0 kB)

Name Size
md5:8241d389ccc14c6adb3c395328e6171c
19.0 kB Preview Download