These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

108 related articles for article (PubMed ID: 34502842)

  • 1. A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.
    Silveira A; Betarte G; Cristiá M; Luna C
    Sensors (Basel); 2021 Sep; 21(17):. PubMed ID: 34502842
    [TBL] [Abstract][Full Text] [Related]  

  • 2. A formal analysis method for composition protocol based on model checking.
    Xiao M; Zhao H; Yang K; Ouyang R; Song W
    Sci Rep; 2022 May; 12(1):8493. PubMed ID: 35595820
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Formal Analysis of the Security Protocol with Timestamp Using SPIN.
    Xiao M; Song W; Yang K; OuYang R; Zhao H
    Comput Intell Neurosci; 2022; 2022():2420590. PubMed ID: 36052031
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Model-Driven Approach for Body Area Network Application Development.
    Venčkauskas A; Štuikys V; Jusas N; Burbaitė R
    Sensors (Basel); 2016 May; 16(5):. PubMed ID: 27187394
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Real-Time Remote Health Monitoring Systems Using Body Sensor Information and Finger Vein Biometric Verification: A Multi-Layer Systematic Review.
    Mohsin AH; Zaidan AA; Zaidan BB; Albahri AS; Albahri OS; Alsalem MA; Mohammed KI
    J Med Syst; 2018 Oct; 42(12):238. PubMed ID: 30327939
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Big Data Warehouse for Healthcare-Sensitive Data Applications.
    Shahid A; Nguyen TN; Kechadi MT
    Sensors (Basel); 2021 Mar; 21(7):. PubMed ID: 33800574
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Cloud-assisted mutual authentication and privacy preservation protocol for telecare medical information systems.
    Li CT; Shih DH; Wang CC
    Comput Methods Programs Biomed; 2018 Apr; 157():191-203. PubMed ID: 29477428
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Towards efficient verification of population protocols.
    Blondin M; Esparza J; Jaax S; Meyer PJ
    Form Methods Syst Des; 2021; 57(3):305-342. PubMed ID: 34866798
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Secure anonymity-preserving password-based user authentication and session key agreement scheme for telecare medicine information systems.
    Sutrala AK; Das AK; Odelu V; Wazid M; Kumari S
    Comput Methods Programs Biomed; 2016 Oct; 135():167-85. PubMed ID: 27586489
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification.
    Abomhara M; Yang H; Køien GM; Lazreg MB
    J Healthc Inform Res; 2017 Jun; 1(1):19-51. PubMed ID: 35415392
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A Fine-Grained User-Divided Privacy-Preserving Access Control Protocol in Smart Watch.
    Fang L; Li M; Zhou L; Zhang H; Ge C
    Sensors (Basel); 2019 May; 19(9):. PubMed ID: 31067751
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Electronic Voting Protocol Using Identity-Based Cryptography.
    Gallegos-Garcia G; Tapia-Recillas H
    ScientificWorldJournal; 2015; 2015():741031. PubMed ID: 26090515
    [TBL] [Abstract][Full Text] [Related]  

  • 14. S-money: virtual tokens for a relativistic economy.
    Kent A
    Proc Math Phys Eng Sci; 2019 May; 475(2225):20190170. PubMed ID: 31236062
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Cryptanalysis and Improvement of a Privacy-Preserving Three-Factor Authentication Protocol for Wireless Sensor Networks.
    Renuka K; Kumar S; Kumari S; Chen CM
    Sensors (Basel); 2019 Oct; 19(21):. PubMed ID: 31653025
    [TBL] [Abstract][Full Text] [Related]  

  • 16. A model based security testing method for protocol implementation.
    Fu YL; Xin XL
    ScientificWorldJournal; 2014; 2014():632154. PubMed ID: 25105163
    [TBL] [Abstract][Full Text] [Related]  

  • 17. A Mutual Authentication Framework for Wireless Medical Sensor Networks.
    Srinivas J; Mishra D; Mukhopadhyay S
    J Med Syst; 2017 May; 41(5):80. PubMed ID: 28364358
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Improving medical protocols by formal methods.
    ten Teije A; Marcos M; Balser M; van Croonenborg J; Duelli C; van Harmelen F; Lucas P; Miksch S; Reif W; Rosenbrand K; Seyfang A
    Artif Intell Med; 2006 Mar; 36(3):193-209. PubMed ID: 16376061
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Secure Authentication Protocol for Wireless Sensor Networks in Vehicular Communications.
    Yu S; Lee J; Lee K; Park K; Park Y
    Sensors (Basel); 2018 Sep; 18(10):. PubMed ID: 30248898
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
    Pérez B
    J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.