首页> 外文OA文献 >A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic

【2h】

A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic

机译：在Covid-19类大流行期间的安全框架中的一个正式验证的身份验证协议

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shaik Shakeel Ahamad; Al-Sakib Khan Pathan;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic [J] . Ahamad Shaik Shakeel, Khan Pathan Al-Sakib Connection Science . 2021,第3期

机译：在Covid-19类大流行期间的移动医疗保健安全框架中的一个正式验证的认证协议
2. Design and Verification of Secure Mutual Authentication Protocols for Mobile Multihop Relay WiMAX Networks against Rogue Base/Relay Stations [J] . Jie Huang, Chin-Tser Huang Journal of electrical and computer engineering . 2016,第PTa2期

机译：针对流氓基站/中继站的移动多跳中继WiMAX网络的安全相互认证协议的设计和验证
3. A Secure Fair Exchange for SMS-Based Mobile Payment Protocols Based on Symmetric Encryption Algorithms with Formal Verification [J] . Thammarat Chalee, Kurutach Werasak Wireless communications & mobile computing . 2018,第1期

机译：基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
4. Communication space reduction for formal verification of secure authentication protocols [C] . Kyoil Kim, Abraham, J.A. . 2001

机译：减少通信空间，用于安全验证协议的形式验证
5. A framework for formal methods driven verification and validation of dependable real-time protocols. [D] . Sinha, Purnendu. 2000

机译：用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
6. A secure heterogeneous mobile authentication and key agreement scheme for e-healthcare cloud systems [O] . Han-Yu Lin -1

机译：电子医疗云系统的安全异构移动身份验证和密钥协商方案
7. Design and Verification of Secure Mutual Authentication Protocols for Mobile Multihop Relay WiMAX Networks against Rogue Base/Relay Stations [O] . Jie Huang, Chin-Tser Huang 2016

机译：移动多跳中继WiMAX网络安全相互认证协议的设计与验证rogue基础/中继站

A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic

著录项

引文网络

相似文献

相关主题

期刊订阅