Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
Artículo
Materias > Ingeniería
Universidad Europea del Atlántico > Investigación > Artículos y libros
Fundación Universitaria Internacional de Colombia > Investigación > Producción Científica
Universidad Internacional Iberoamericana México > Investigación > Producción Científica
Universidad Internacional Iberoamericana Puerto Rico > Investigación > Producción Científica
Universidad Internacional do Cuanza > Investigación > Producción Científica
Abierto
Inglés
In the Internet of things (IoT), data packets are accumulated and disseminated across IoT devices without human intervention, therefore the privacy and security of sensitive data during transmission are crucial. For this purpose, multiple routing techniques exist to ensure security and privacy in IoT Systems. One such technique is the routing protocol for low power and lossy networks (RPL) which is an IPv6 protocol commonly used for routing in IoT systems. Formal modeling of an IoT system can validate the reliability, accuracy, and consistency of the system. This paper presents the formal modeling of RPL protocol and the analysis of its security schemes using colored Petri nets that applies formal validation and verification for both the secure and non-secure modes of RPL protocol. The proposed approach can also be useful for formal modeling-based verification of the security of the other communication protocols.
metadata
Balfaqih, Mohammed; Ahmad, Farooq; Chaudhry, Muhammad Tayyab; Jamal, Muhammad Hasan; Sohail, Muhammad Amar; Gavilanes Aray, Daniel; Masías Vergara, Manuel y Ashraf, Imran
mail
SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, SIN ESPECIFICAR, daniel.gavilanes@uneatlantico.es, manuel.masias@uneatlantico.es, SIN ESPECIFICAR
(2023)
Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets.
PLOS ONE, 18 (8).
e0285700.
ISSN 1932-6203
|
Texto
journal.pone.0285700.pdf Available under License Creative Commons Attribution. Descargar (1MB) |
Resumen
In the Internet of things (IoT), data packets are accumulated and disseminated across IoT devices without human intervention, therefore the privacy and security of sensitive data during transmission are crucial. For this purpose, multiple routing techniques exist to ensure security and privacy in IoT Systems. One such technique is the routing protocol for low power and lossy networks (RPL) which is an IPv6 protocol commonly used for routing in IoT systems. Formal modeling of an IoT system can validate the reliability, accuracy, and consistency of the system. This paper presents the formal modeling of RPL protocol and the analysis of its security schemes using colored Petri nets that applies formal validation and verification for both the secure and non-secure modes of RPL protocol. The proposed approach can also be useful for formal modeling-based verification of the security of the other communication protocols.
| Tipo de Documento: | Artículo |
|---|---|
| Clasificación temática: | Materias > Ingeniería |
| Divisiones: | Universidad Europea del Atlántico > Investigación > Artículos y libros Fundación Universitaria Internacional de Colombia > Investigación > Producción Científica Universidad Internacional Iberoamericana México > Investigación > Producción Científica Universidad Internacional Iberoamericana Puerto Rico > Investigación > Producción Científica Universidad Internacional do Cuanza > Investigación > Producción Científica |
| Depositado: | 06 Sep 2023 23:30 |
| Ultima Modificación: | 20 Mar 2025 20:06 |
| URI: | https://repositorio.uneatlantico.es/id/eprint/8681 |
Acciones (logins necesarios)
![]() |
Ver Objeto |
en
close
Background Post-kala-azar dermal leishmaniasis (PKDL) is a skin condition that can become a complication in about 15 % of patients who have had kala-azar. Despite its significance, treatment options for PKDL are still limited. This systematic review and meta-analysis aim to evaluate the efficacy of amphotericin B for this condition. Methods PubMed, Embase, Cochrane, and Web of Science databases were searched for randomized controlled trials (RCTs) that reported the efficacy of Liposomal Amphotericin B in the treatment of PKDL. This study followed the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines. Events per 100 observations with 95 % confidence intervals were performed for outcomes. Results Nine studies with 639 patients were included, the treatment durations ranging from 7 to 60 days. The mean age ranged from 9.2 to 31.0 years, and 359 patients were male. The PKDL treatment with liposomal amphotericin B resulted in a cure rate of 91.36 % (95 % CI: 76.60-97.15). However, a relapse was observed in 11.42 % (95 % CI: 6.20-20.8) of patients. Adverse events were common, with hepatic enzyme elevation (ALT/AST) being the most frequent (61.75 %; 95 % CI: 21.81–90.33), followed by fever in 29.93 % of cases (95 % CI: 5.09–77.30). Among the more serious side effects, decreased serum potassium was observed in 19.27 % (95 % CI: 3.84–58.82), and increased serum creatinine, indicative of nephrotoxicity, occurred in 15.08 % (95 % CI: 3.97–43.27). Nausea or vomiting, although less severe, affected 12.36 % of patients (95 % CI: 4.81–28.25). Conclusions These findings highlight that while liposomal amphotericin B is a potent therapeutic option for PKDL, its administration requires careful management and clinical vigilance to optimize outcomes and minimize risks.
Deivyd Vieira Silva Cavalcante mail , Lilia Maria Lima de Oliveira mail , Noor Husain mail , Beatriz Ximenes Mendes mail , Ana Clara Felix de Farias Santos mail , Luciana Borrigueiro mail , Lyria de Oliveira Rosa mail , Christian Ndikuryayo mail , Sarah Soares Amorim mail , Lalit Mohan mail , Fabiana Castro Porto Silva Lopes mail ,
Cavalcante
en
close
Enzymatic treatment shapes in vitro digestion pattern of phenolic compounds in mulberry juice
The health benefits of mulberry fruit are closely associated with its phenolic compounds. However, the effects of enzymatic treatments on the digestion patterns of these compounds in mulberry juice remain largely unknown. This study investigated the impact of pectinase (PE), pectin lyase (PL), and cellulase (CE) on the release of phenolic compounds in whole mulberry juice. The digestion patterns were further evaluated using an in vitro simulated digestion model. The results revealed that PE significantly increased chlorogenic acid content by 77.8 %, PL enhanced cyanidin-3-O-glucoside by 20.5 %, and CE boosted quercetin by 44.5 %. Following in vitro digestion, the phenolic compound levels decreased differently depending on the treatment, while cyanidin-3-O-rutinoside content increased across all groups. In conclusion, the selected enzymes effectively promoted the release of phenolic compounds in mulberry juice. However, during gastrointestinal digestion, the degradation of phenolic compounds surpassed their enhanced release, with effects varying based on the compound's structure.
Peihuan Luo mail , Jian Ai mail , Qiongyao Wang mail , Yihang Lou mail , Zhiwei Liao mail , Francesca Giampieri mail francesca.giampieri@uneatlantico.es, Maurizio Battino mail maurizio.battino@uneatlantico.es, Elwira Sieniawska mail , Weibin Bai mail , Lingmin Tian mail ,
Luo
<a href="/17819/1/1-s2.0-S2214804325000679-main%20%281%29.pdf" class="ep_document_link"><img class="ep_doc_icon" alt="[img]" src="/style/images/fileicons/text.png" border="0"/></a>
en
open
What works in financial education? Experimental evidence on program impact
Financial education is increasingly essential for safeguarding both individual and corporate well-being. This study systematically reviews global financial education experiments using a dual-method framework that integrates a deep learning classifier with advanced multivariate statistical techniques. Our analysis indicates that while short-term improvements in financial literacy are common, such gains tend to diminish over time without ongoing reinforcement. Moreover, the limited impact of digital innovations and monetary incentives suggests that successful financial education depends on more than simply deploying technological solutions or extrinsic rewards. Overall, this review provides valuable insights into the evolving landscape of financial education in a dynamic economic context and underscores the need for sustainable strategies that secure lasting improvements in financial literacy.
Gonzalo Llamosas García mail , Cristina Mazas Pérez-Oleaga mail cristina.mazas@uneatlantico.es,
García
en
close
Epigallocatechin gallate (EGCG) is the most abundant polyphenol in tea. Owing to the different fermentation degrees, differences in polyphenol composition of water extracts of green tea, white tea, oolong tea, and black tea occur, and affect health value. This study revealed that the content of EGCG decreases with the increase in the degree of fermentation. In tea with a high fermentation degree, EGCG was stably present in the form of ammoniation to yield nitrogen-containing EGCG derivative (N-EGCG). The content of N-EGCG in tea was negatively correlated with the content of EGCG. Furthermore, the content of l-serine and L-threonine in tea was positively and negatively correlated with N-EGCG and EGCG levels, respectively, suggesting that they may participate in the formation of N-EGCG as nitrogen sources. This study proposes a new fermentation-induced polyphenol-amino acid synergistic mechanism, which provides a theoretical basis for the study of the biotransformation reaction mechanism of tea polyphenols.
Yuxuan Zhao mail , Jingyimei Liang mail , Wanning Ma mail , Mohamed A. Farag mail , Chunlin Li mail , Jianbo Xiao mail ,
Zhao
en
close
Single-cell omics for nutrition research: an emerging opportunity for human-centric investigations
Understanding how dietary compounds affect human health is challenged by their molecular complexity and cell-type–specific effects. Conventional multi-cell type (bulk) analyses obscure cellular heterogeneity, while animal and standard in vitro models often fail to replicate human physiology. Single-cell omics technologies—such as single-cell RNA sequencing, as well as single-cell–resolved proteomic and metabolomic approaches—enable high-resolution investigation of nutrient–cell interactions and reveal mechanisms at a single-cell resolution. When combined with advanced human-derived in vitro systems like organoids and organ-on-chip platforms, they support mechanistic studies in physiologically relevant contexts. This review outlines emerging applications of single-cell omics in nutrition research, emphasizing their potential to uncover cell-specific dietary responses, identify nutrient-sensitive pathways, and capture interindividual variability. It also discusses key challenges—including technical limitations, model selection, and institutional biases—and identifies strategic directions to facilitate broader adoption in the field. Collectively, single-cell omics offer a transformative framework to advance human-centric nutrition research.
Manuela Cassotta mail manucassotta@gmail.com, Yasmany Armas Diaz mail , Danila Cianciosi mail , Bei Yang mail , Zexiu Qi mail , Ge Chen mail , Santos Gracia Villar mail santos.gracia@uneatlantico.es, Luis Alonso Dzul López mail luis.dzul@uneatlantico.es, Giuseppe Grosso mail , José L. Quiles mail , Jianbo Xiao mail , Maurizio Battino mail maurizio.battino@uneatlantico.es, Francesca Giampieri mail francesca.giampieri@uneatlantico.es,
Cassotta
