Securing IoT Networks using Formal Behavioral Modeling and Dynamic Flow Management.

Wed, 01 Jan 2020 00:00:00 +0100

Mohammed Ayyoob Ahamed Hamza:
Securing IoT Networks using Formal Behavioral Modeling and Dynamic Flow Management. University of New South Wales, Sydney, Australia, 2020