Browse
Submit Data
Databases
API
Help

Dataset Information

0 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Attack Graph Modeling for Implantable Pacemaker.

ABSTRACT: Remote health monitoring systems are used to audit implantable medical devices or patients' health in a non-clinical setting. These systems are prone to cyberattacks exploiting their critical vulnerabilities. Thus, threatening patients' health and confidentiality. In this paper, a pacemaker automatic remote monitoring system (PARMS) is modeled using architecture analysis and design language (AADL), formally characterized, and checked using the JKind model checker tool. The generated attack graph is visualized using the Graphviz tool, and classifies security breaches through the violation of the security features of significance. The developed attack graph showed the essentiality of setting up appropriate security measures in PARMS.

SUBMITTER: Ibrahim M

PROVIDER: S-EPMC7168278 | biostudies-literature | 2020 Feb

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Publications

Attack Graph Modeling for Implantable Pacemaker.

Ibrahim Mariam M Alsheikh Ahmad A Matar Aseel A

Biosensors 20200219 2

Remote health monitoring systems are used to audit implantable medical devices or patients' health in a non-clinical setting. These systems are prone to cyberattacks exploiting their critical vulnerabilities. Thus, threatening patients' health and confidentiality. In this paper, a pacemaker automatic remote monitoring system (PARMS) is modeled using architecture analysis and design language (AADL), formally characterized, and checked using the JKind model checker tool. The generated attack graph ...[more]

PMID: 32093089

Similar Datasets

A fully implantable pacemaker for the mouse: from battery to wireless power.

Project description:Animal models have become a popular platform for the investigation of the molecular and systemic mechanisms of pathological cardiovascular physiology. Chronic pacing studies with implantable pacemakers in large animals have led to useful models of heart failure and atrial fibrillation. Unfortunately, molecular and genetic studies in these large animal models are often prohibitively expensive or not available. Conversely, the mouse is an excellent species for studying molecular mechanisms of cardiovascular disease through genetic engineering. However, the large size of available pacemakers does not lend itself to chronic pacing in mice. Here, we present the design for a novel, fully implantable wireless-powered pacemaker for mice capable of long-term (>30 days) pacing. This design is compared to a traditional battery-powered pacemaker to demonstrate critical advantages achieved through wireless inductive power transfer and control. Battery-powered and wireless-powered pacemakers were fabricated from standard electronic components in our laboratory. Mice (n = 24) were implanted with endocardial, battery-powered devices (n = 14) and epicardial, wireless-powered devices (n = 10). Wireless-powered devices were associated with reduced implant mortality and more reliable device function compared to battery-powered devices. Eight of 14 (57.1%) mice implanted with battery-powered pacemakers died following device implantation compared to 1 of 10 (10%) mice implanted with wireless-powered pacemakers. Moreover, device function was achieved for 30 days with the wireless-powered device compared to 6 days with the battery-powered device. The wireless-powered pacemaker system presented herein will allow electrophysiology studies in numerous genetically engineered mouse models as well as rapid pacing-induced heart failure and atrial arrhythmia in mice.

| S-EPMC3806780 | biostudies-literature

Masked graph modeling for molecule generation.

Project description:De novo, in-silico design of molecules is a challenging problem with applications in drug discovery and material design. We introduce a masked graph model, which learns a distribution over graphs by capturing conditional distributions over unobserved nodes (atoms) and edges (bonds) given observed ones. We train and then sample from our model by iteratively masking and replacing different parts of initialized graphs. We evaluate our approach on the QM9 and ChEMBL datasets using the GuacaMol distribution-learning benchmark. We find that validity, KL-divergence and Fréchet ChemNet Distance scores are anti-correlated with novelty, and that we can trade off between these metrics more effectively than existing models. On distributional metrics, our model outperforms previously proposed graph-based approaches and is competitive with SMILES-based approaches. Finally, we show our model generates molecules with desired values of specified properties while maintaining physiochemical similarity to the training distribution.

| S-EPMC8155025 | biostudies-literature

Usefulness of an Implantable Loop Recorder in Diagnosing Unexplained Syncope and Predictors for Pacemaker Implantation.

Project description:BACKGROUND:An implantable loop recorder (ILR) is an effective tool for diagnosing unexplained syncope (US). We examined the diagnostic utility of an ILR in detecting arrhythmic causes of US and determining which clinical factors are associated with pacemaker (PM) implantation. METHODS:This retrospective, multicenter, observational study was conducted from February 2006 to April 2018 at 11 hospitals in Korea. Eligible patients with recurrent US received an ILR to diagnose recurrent syncope and document arrhythmia. RESULTS:A total of 173 US patients (mean age, 67.6 ± 16.5 years; 107 men [61.8%]) who received an ILR after a negative conventional workup were enrolled. During a mean follow-up of 9.4 ± 11.1 months, 52 patients (30.1%) had recurrent syncope, and syncope-correlated arrhythmia was confirmed in 34 patients (19.7%). The ILR analysis showed sinus node dysfunction in 24 patients (70.6%), supraventricular tachyarrhythmia in 4 (11.8%), ventricular arrhythmia in 4 (11.8%), and sudden atrioventricular block in 2 (5.9%). Overall, ILR detected significant arrhythmia in 99 patients (57.2%) irrespective of syncope. Among patients with clinically relevant arrhythmia detected by ILR, PM implantation was performed in 60 (34.7%), an intra-cardiac defibrillator in 5 (2.9%), and catheter ablation in 4 (2.3%). In a Cox regression analysis, history of paroxysmal atrial fibrillation (PAF) (hazard ratio [HR], 2.34; 95% confidence interval [CI], 1.33-4.12; P < 0.01) and any bundle branch block (BBB) (HR, 2.52; 95% CI, 1.09-5.85; P = 0.03) were significantly associated with PM implantation. CONCLUSION:ILR is useful for detecting syncope-correlated arrhythmia in patients with US. The risk of PM is high in US patients with a history of PAF and any BBB.

| S-EPMC6955436 | biostudies-literature

Exponential random graph modeling for complex brain networks.

Project description:Exponential random graph models (ERGMs), also known as p* models, have been utilized extensively in the social science literature to study complex networks and how their global structure depends on underlying structural components. However, the literature on their use in biological networks (especially brain networks) has remained sparse. Descriptive models based on a specific feature of the graph (clustering coefficient, degree distribution, etc.) have dominated connectivity research in neuroscience. Corresponding generative models have been developed to reproduce one of these features. However, the complexity inherent in whole-brain network data necessitates the development and use of tools that allow the systematic exploration of several features simultaneously and how they interact to form the global network architecture. ERGMs provide a statistically principled approach to the assessment of how a set of interacting local brain network features gives rise to the global structure. We illustrate the utility of ERGMs for modeling, analyzing, and simulating complex whole-brain networks with network data from normal subjects. We also provide a foundation for the selection of important local features through the implementation and assessment of three selection approaches: a traditional p-value based backward selection approach, an information criterion approach (AIC), and a graphical goodness of fit (GOF) approach. The graphical GOF approach serves as the best method given the scientific interest in being able to capture and reproduce the structure of fitted brain networks.

| S-EPMC3102079 | biostudies-other

Graph Laplacian-based spectral multi-fidelity modeling.

Project description:Low-fidelity data is typically inexpensive to generate but inaccurate, whereas high-fidelity data is accurate but expensive. To address this, multi-fidelity methods use a small set of high-fidelity data to enhance the accuracy of a large set of low-fidelity data. In the approach described in this paper, this is accomplished by constructing a graph Laplacian from the low-fidelity data and computing its low-lying spectrum. This is used to cluster the data and identify points closest to the cluster centroids, where high-fidelity data is acquired. Thereafter, a transformation that maps every low-fidelity data point to a multi-fidelity counterpart is determined by minimizing the discrepancy between the multi- and high-fidelity data while preserving the underlying structure of the low-fidelity data distribution. The method is tested with problems in solid and fluid mechanics. By utilizing only a small fraction of high-fidelity data, the accuracy of a large set of low-fidelity data is significantly improved.

| S-EPMC10547726 | biostudies-literature

Modeling the ribosome as a bipartite graph.

Project description:Developing mathematical representations of biological systems that can allow predictions is a challenging and important research goal. It is demonstrated here how the ribosome, the nano-machine responsible for synthesizing all proteins necessary for cellular life, can be represented as a bipartite network. Ten ribosomal structures from Bacteria and six from Eukarya are explored. Ribosomal networks are found to exhibit unique properties despite variations in the nodes and edges of the different graphs. The ribosome is shown to exhibit very large topological redundancies, demonstrating mathematical resiliency. These results can potentially explain how it can function consistently despite changes in composition and connectivity. Furthermore, this representation can be used to analyze ribosome function within the large machinery of network theory, where the degrees of freedom are the possible interactions, and can be used to provide new insights for translation regulation and therapeutics.

| S-EPMC9803165 | biostudies-literature

Biomarker-based diagnosis of pacemaker and implantable cardioverter defibrillator pocket infections: A prospective, multicentre, case-control evaluation.

Project description:BackgroundThe use of cardiac implantable electronic devices (CIED) has risen steadily, yet the rate of cardiac device infections (CDI) has disproportionately increased. Amongst all cardiac device infections, the pocket infection is the most challenging diagnosis. Therefore, we aimed to improve diagnosis of such pocket infection by identifying relevant biomarkers.MethodsWe enrolled 25 consecutive patients with invasively and microbiologically confirmed pocket infection. None of the patients had any confounding conditions. Pre-operative levels of 14 biomarkers were compared in infected and control (n = 50) patients. Our selected biomarkers included white blood cell count (WBC), C-reactive protein (CRP), procalcitonin (PCT), lipopolysaccharide binding protein, high-sensitivity C-reactive protein (HS-CRP), polymorphonuclear-elastase, presepsin, various interleukins, tumor necrosis factor α (TNF-α), and granulocyte macrophage colony-stimulating factor (GM-CSF).ResultsOf the 25 patients with isolated pocket infection (70±13years, 76% male, 40% ICDs), none presented with leukocytosis. In contrast, they had higher serum levels of HS-CRP (p = 0.019) and PCT (p = 0.010) than control patients. Median PCT-level was 0.06 ng/mL (IQR 0.03-0.07 ng/mL) in the study group versus 0.03 ng/mL (IQR 0.02-0.04 ng/mL) in controls. An optimized PCT cut-off value of 0.05 ng/mL suggests pocket infection with a sensitivity of 60% and specificity of 82%. In addition TNF-α- and GM-CSF-levels were lower in the study group. Other biomarkers did not differ between groups.ConclusionDiagnosis of isolated pocket infections requires clinical awareness, physical examination, evaluation of blood cultures and echocardiography assessment. Nevertheless, measurement of PCT- and HS-CRP-levels can aid diagnosis. However, no conclusion can be drawn from normal WBC-values.Clinical trial registrationclinicaltrials.gov identifier: NCT01619267.

| S-EPMC5338770 | biostudies-literature

Modeling RNA tertiary structure motifs by graph-grammars.

Project description:A new approach, graph-grammars, to encode RNA tertiary structure patterns is introduced and exemplified with the classical sarcin-ricin motif. The sarcin-ricin motif is found in the stem of the crucial ribosomal loop E (also referred to as the sarcin-ricin loop), which is sensitive to the alpha-sarcin and ricin toxins. Here, we generate a graph-grammar for the sarcin-ricin motif and apply it to derive putative sequences that would fold in this motif. The biological relevance of the derived sequences is confirmed by a comparison with those found in known sarcin-ricin sites in an alignment of over 800 bacterial 23S ribosomal RNAs. The comparison raised alternative alignments in few sarcin-ricin sites, which were assessed using tertiary structure predictions and 3D modeling. The sarcin-ricin motif graph-grammar was built with indivisible nucleotide interaction cycles that were recently observed in structured RNAs. A comparison of the sequences and 3D structures of each cycle that constitute the sarcin-ricin motif gave us additional insights about RNA sequence-structure relationships. In particular, this analysis revealed the sequence space of an RNA motif depends on a structural context that goes beyond the single base pairing and base-stacking interactions.

| S-EPMC1865062 | biostudies-literature

LigninGraphs: lignin structure determination with multiscale graph modeling.

Project description:Lignin is an aromatic biopolymer found in ubiquitous sources of woody biomass. Designing and optimizing lignin valorization processes requires a fundamental understanding of lignin structures. Experimental characterization techniques, such as 2D-heteronuclear single quantum coherence (HSQC) nuclear magnetic resonance (NMR) spectra, could elucidate the global properties of the polymer molecules. Computer models could extend the resolution of experiments by representing structures at the molecular and atomistic scales. We introduce a graph-based multiscale modeling framework for lignin structure generation and visualization. The framework employs accelerated rejection-free polymerization and hierarchical Metropolis Monte Carlo optimization algorithms. We obtain structure libraries for various lignin feedstocks based on literature and new experimental NMR data for poplar wood, pinewood, and herbaceous lignin. The framework could guide researchers towards feasible lignin structures, efficient space exploration, and future kinetics modeling. Its software implementation in Python, LigninGraphs, is open-source and available on GitHub.

| S-EPMC9261032 | biostudies-literature

Improving QSAR Modeling for Predictive Toxicology using Publicly Aggregated Semantic Graph Data and Graph Neural Networks.

Project description:Quantitative Structure-Activity Relationship (QSAR) modeling is a common computational technique for predicting chemical toxicity, but a lack of new methodological innovations has impeded QSAR performance on many tasks. We show that contemporary QSAR modeling for predictive toxicology can be substantially improved by incorporating semantic graph data aggregated from open-access public databases, and analyzing those data in the context of graph neural networks (GNNs). Furthermore, we introspect the GNNs to demonstrate how they can lead to more interpretable applications of QSAR, and use ablation analysis to explore the contribution of different data elements to the final models' performance.

| S-EPMC8714189 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data