A Formal Assisted Approach for Modeling and Testing Security Attacks in
  IoT Edge Devices

A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices

    AAML

Papers citing "A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices"

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.