首页> 外文OA文献 >Inter-device Mutual Authentication and Formal Verification in Vehicular Security System

【2h】

Inter-device Mutual Authentication and Formal Verification in Vehicular Security System

机译：车辆安全系统中的设备间相互认证和正式验证

代理获取

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

页面导航

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

著录项

作者
Sang-Jun Lee; Woo-Sik Bae;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A novel mutual authentication scheme with formal proof for smart healthcare systems under global mobility networks notion [J] . Wu Fan, Li Xiong, Xu Lili, Computers and Electrical Engineering . 2018,第期

机译：具有全球移动网络概念下的智能医疗系统正式证明的新型相互认证方案
2. Security analysis of Kulseng et al.'s mutual authentication protocol for RFID systems [J] . Yang Y., Gu J., Lv C., Information Security, IET . 2012,第4期

机译：Kulseng等人的RFID系统相互认证协议的安全性分析
3. Security Enhancement Using Mutual Authentication in Existing CDMA Systems [J] . L. Krishna Bharathi, Gnanou Florence Sudha International Journal on Computer Science and Engineering . 2010,第2期

机译：在现有CDMA系统中使用相互认证的安全性增强
4. A mutual authentication protocol for low-cost RFID tags formally verified using CasperFDR and AVISPA [C] . Abughazalah Sarah, Markantonakis Kostantinos, Mayes Keith International Conference for Internet Technology and Secured Transactions . 2013

机译：使用CasperFDR和AVISPA正式验证的低成本RFID标签的相互认证协议
5. Formal End-to-End Verification of Information-Flow Security for Complex Systems. [D] . Costanzo, David. 2016

机译：复杂系统的信息流安全性的正式端到端验证。
6. IoT Device Security: Challenging A Lightweight RFID Mutual Authentication Protocol Based on Physical Unclonable Function [O] . Ygal Bendavid, Nasour Bagheri, Masoumeh Safkhani, 2018

机译：物联网设备安全：挑战基于物理不可克隆功能的轻型RFID相互认证协议
7. A Mutual Authentication Protocol for Low-Cost RFID Tags Formally Verified Using CasperFDR and AVISPA [O] . Sarah Abughazalah, Kostantinos Markantonakis, Keith Mayes 2015

机译：使用CasperFDR和aVIspa正式验证的低成本RFID标签的相互认证协议
8. Terminal security Verification in Smart Card-Based Authentication Systems. [R] . Hallberg, J. 2000

机译：基于智能卡的认证系统中的终端安全验证。

Inter-device Mutual Authentication and Formal Verification in Vehicular Security System

著录项

引文网络

相似文献

相关主题

期刊订阅