Secure and Robust Telemedicine using ECC on Radix-8 with Formal Verification

E-ISSN： 1930-1669|12|1|13-28

ISSN： 1930-1650

Source： International Journal of Information Security and Privacy (IJISP), Vol.12, Iss.1, 2018-01, pp. : 13-28

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Secure Cloud Storage using ECC-Based Homomorphic Encryption

International Journal of Information Security and Privacy (IJISP), Vol. 11, Iss. 3, 2017-07 ,pp. : 54-62

IGI Global_journal

Access to resources Recommend Favorite

Using Word-Level Information in Formal Hardware Verification

By Drechsler R.

Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. : 963-977

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E. Gü A. Burak Ç M. Ufuk

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

A Secure and Robust Three-Factor Based Authentication Scheme Using RSA Cryptosystem

International Journal of Business Data Communications and Networking (IJBDCN), Vol. 13, Iss. 1, 2017-01 ,pp. : 74-84

IGI Global_journal

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana Kupferman Orna Vardi Moshe

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite