15-Algebraic Method to Model Secure IoT

Code Repository of the OMiLAB Community (operated by OMiLAB NPO)