Results 11 to 20 of about 173 (78)

SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC

Вестник Донского государственного технического университета, 2018
The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built.
Nadezhda S. Mogilevskaya
doaj  

SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC

Advanced Engineering Research, 2012
The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built.
Nadezhda S. Mogilevskaya
doaj  

Pan-cancer landscape of CD274 (PD-L1) rearrangements in 283,050 patient samples, its correlation with PD-L1 protein expression, and immunotherapy response. [PDF]

J Immunother Cancer, 2021
Kelly AD, Murugesan K, Kuang Z, Montesion M, Ross JS, Albacker LA, Huang RSP, Lin DI, Demirci U, Creeden J.   +9 more
europepmc   +1 more source

Inhibition of N-Acetyltransferase 10 Suppresses the Progression of Prostate Cancer through Regulation of DNA Replication. [PDF]

Int J Mol Sci, 2022
Ma N, Liu H, Wu Y, Yao M, Zhang B.
europepmc   +1 more source

Disruption of the mouse liver epitranscriptome by long-term aroclor 1260 exposure. [PDF]

Environ Toxicol Pharmacol, 2023
Piell KM, Petri BJ, Head KZ, Wahlang B, Xu R, Zhang X, Pan J, Rai SN, de Silva K, Chariker JH, Rouchka EC, Tan M, Li Y, Cave MC, Klinge CM.   +14 more
europepmc   +1 more source

Transcriptomes of the tumor-adjacent normal tissues are more informative than tumors in predicting recurrence in colorectal cancer patients. [PDF]

J Transl Med, 2023
Kim J, Kim H, Lee MS, Lee H, Kim YJ, Lee WY, Yun SH, Kim HC, Hong HK, Hannenhalli S, Cho YB, Park D, Choi SS.   +12 more
europepmc   +1 more source

The Impact of Point-of-Care Blood C-Reactive Protein Testing on Prescribing Antibiotics in Out-of-Hours Primary Care: A Mixed Methods Evaluation. [PDF]

Antibiotics (Basel), 2022
Dixon S, Fanshawe TR, Mwandigha L, Edwards G, Turner PJ, Glogowska M, Gillespie MM, Blair D, Hayward GN.   +8 more
europepmc   +1 more source

Misalignment between perceptual boundaries and weight categories reflects a new normal for body size perception. [PDF]

Sci Rep, 2021
Chan AWY, Noles DL, Utkov N, Akbilgic O, Smith W.   +4 more
europepmc   +1 more source

Voiding dysfunction in children causes, management, and prognosis: A single-center retrospective study. [PDF]

Saudi Med J, 2021
El Desoky SM, Banakhar M, Khashoggi K, Zaher ZF, Kari JA.   +4 more
europepmc   +1 more source

A Trem2^R47H mouse model without cryptic splicing drives age- and disease-dependent tissue damage and synaptic loss in response to plaques. [PDF]

Mol Neurodegener, 2023
Tran KM, Kawauchi S, Kramár EA, Rezaie N, Liang HY, Sakr JS, Gomez-Arboledas A, Arreola MA, Cunha CD, Phan J, Wang S, Collins S, Walker A, Shi KX, Neumann J, Filimban G, Shi Z, Milinkeviciute G, Javonillo DI, Tran K, Gantuz M, Forner S, Swarup V, Tenner AJ, LaFerla FM, Wood MA, Mortazavi A, MacGregor GR, Green KN.   +28 more
europepmc   +1 more source