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).

Summary

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.

Related Concept Videos

Formulating and Validating Nursing Diagnosis II01:25

Formulating and Validating Nursing Diagnosis II

Nursing diagnoses represent a problem validated by major defining characteristics. There are four categories of nursing diagnoses: problem-focused, risk, health promotion or wellness, and syndrome. The anatomy of a nursing diagnosis includes three components: problem statement or diagnostic label, defining characteristics, and related factors.
Risk nursing diagnoses represent clinical judgments of an individual, family, or community more vulnerable to developing the health problem than others...
3.8K
Methods of Documentation II: POMR01:26

Methods of Documentation II: POMR

The Problem-Oriented Medical Record (POMR) revolutionized medical record-keeping by introducing a systematic approach focusing on the patient's problems rather than merely listing symptoms. Dr. Lawrence Weed's introduction of this method in the 1960s marked a significant advancement in medical documentation. The POMR framework consists of four key components: the database, problem list, plan of care, and progress notes.
1.5K
Methods of Documentation VI: Case Management Model01:15

Methods of Documentation VI: Case Management Model

The case management model is a multidisciplinary approach that involves healthcare professionals from diverse disciplines, such as physicians, nurses, therapists, social workers, and pharmacists, working collaboratively to address the various needs of patients. Each healthcare professional brings unique expertise and perspectives, contributing to a more comprehensive understanding of the patient's condition and tailoring treatment plans accordingly.
For example, a patient with a chronic...
1.0K
Method of Sections: Problem Solving I01:27

Method of Sections: Problem Solving I

Consider a symmetrical roof truss structure, composed of vertical, diagonal, and horizontal members. The length of each horizontal member is 4 m. The lengths of the vertical members FB and HD are 4 m, while the length of member GC is 6 m. The loads acting at joints F, G, and H are 2 kN, while those at joints A and E are 1 kN.
1.8K
Method of Sections: Problem Solving II01:30

Method of Sections: Problem Solving II

Consider an arbitrary truss structure composed of diagonal, vertical, and horizontal members fixed to the wall. To calculate the force acting on members CB, GB, and GH, method of sections can be used. The loads and lengths of the horizontal and vertical members are known parameters, as shown in the figure.
1.8K
Mathematical Modeling: Problem Solving01:29

Mathematical Modeling: Problem Solving

Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...
579