Related Experiment Video
Updated: May 7, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
Published on: June 13, 2025
Validation of a Methodology for Formalizing Knowledge on Security in IoMT Applications
Daniel Naro1, Ylenia Murgia1, Silvia Llorente1
1Departament d'Arquitectura de Computadors (DAC), Universitat Politècnica de Catalunya, BarcelonaTECH (UPC).
We developed a method to formalize security knowledge for Internet of Medical Things (IoMT) applications using ontologies. This approach organizes standards, specifications, and laws, proving its value in Web Application security contexts.
Area of Science:
- Cybersecurity
- Knowledge Engineering
- Medical Informatics
Background:
- The Internet of Medical Things (IoMT) presents unique security challenges due to sensitive data and critical infrastructure.
- Formalizing security knowledge is crucial for developing robust and compliant IoMT systems.
Purpose of the Study:
- To define a methodology for security knowledge formalization specifically for IoMT applications.
- To develop tools for creating ontologies representing IoMT security standards, specifications, and laws.
Main Methods:
- Development of a novel methodology for security knowledge formalization.
- Creation of ontology-building tools.
- Application and validation of the methodology on Web Application specifications.
Main Results:
- A defined methodology for formalizing security knowledge in IoMT.
- An ontology creation framework representing relevant standards and regulations.
- Demonstrated relevance through application to Web Application security.
Conclusions:
- The proposed methodology provides a structured approach to IoMT security knowledge formalization.
- Ontology-based representation enhances the understanding and application of security requirements.
- The approach is adaptable and validated for practical use in related domains like Web Applications.
Related Concept Videos
Formulating and Validating Nursing Diagnosis II
Risk nursing diagnoses represent clinical judgments of an individual, family, or community more vulnerable to developing the health problem than others...
Methods of Documentation II: POMR
Methods of Documentation VI: Case Management Model
For example, a patient with a chronic...
Method of Sections: Problem Solving I
Method of Sections: Problem Solving II
Mathematical Modeling: Problem Solving