机译:在Covid-19类大流行期间的移动医疗保健安全框架中的一个正式验证的认证协议
Majmaah Univ Coll Comp & Informat Sci Al Majmaah Saudi Arabia;
Independent Univ Dept Comp Sci & Engn Dhaka Bangladesh|Southeast Univ Dept Comp Sci & Engn Dhaka Bangladesh;
BAN (Burrows#8211; Abadi#8211; Needham) Logic; Community Cloud; Health Insurance Portability and Accountability Act (HIPAA); Mobile; Scyther tool; Trust;
机译:针对流氓基站/中继站的移动多跳中继WiMAX网络的安全相互认证协议的设计和验证
机译:基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
机译:用于安全网络身份验证的ZigBee协议验证的正式模型
机译:减少通信空间,用于安全验证协议的形式验证
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:电子医疗云系统的安全异构移动身份验证和密钥协商方案
机译:在Covid-19类大流行期间的安全框架中的一个正式验证的身份验证协议