咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 model checking
  • 1 篇 protocol abstrac...
  • 1 篇 rapp
  • 1 篇 rfid authenticat...
  • 1 篇 desynchronizatio...

机构

  • 1 篇 east china jiaot...

作者

  • 1 篇 li yanan
  • 1 篇 mei yingtian
  • 1 篇 zhong xiaomei
  • 1 篇 xiao meihua
  • 1 篇 tu jimin
  • 1 篇 li wei

语言

  • 1 篇 英文
检索条件"主题词=Protocol abstract modeling"
1 条 记 录,以下是1-10 订阅
排序:
Formal Analysis and Verification for an Ultralightweight Authentication protocol RAPP of RFID  35th
Formal Analysis and Verification for an Ultralightweight Aut...
收藏 引用
35th National Conference of Theoretical Computer Science (NCTCS)
作者: Li, Wei Xiao, Meihua Li, Yanan Mei, Yingtian Zhong, Xiaomei Tu, Jimin East China Jiaotong Univ Sch Software Nanchang 330013 Jiangxi Peoples R China
Radio Frequency Identification (RFID) technique, as the core of Internet of Things, is facing security threats. It is critical to protect information security in RFID system. Ultralightweigh authentication protocols a... 详细信息
来源: 评论