Towards Run-Time Verification of Adaptive Security for IoT in eHealth.

Arild B. Torjusen, Habtamu Abie, Ebenezer Paintsil, Denis Trcek, smund Skomedal

Browse the full ECSA paper archive.