Securing IoMT Systems via Probabilistic Trust-Epistemic Logic
This paper introduces a novel probabilistic logic of trust and knowledge developed to formally assess the security of the Internet of Medical Things (IoMT) applications under uncertainty. This logic enables reasoning not only about trust between devices and agents, but also about their knowledge sta...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Published: |
2025
|
| Online Access: | http://hdl.handle.net/11675/14458 https: |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|