Towards Run-Time Verification of Adaptive Security for IoT in eHealth Publication details Event: (NR/Oslo) Organiser: Norsk Regnesentral You are here: Home Publications Lecture Towards Run-Time Verification of Adaptive Security for IoT in eHealth