Interchange(3rd Ed.) exemplifies a functional-notional syllabus intended to improve learners'language proficiency.Based on functional linguistics theories,the paper focuses on its distinctive features with referen...Interchange(3rd Ed.) exemplifies a functional-notional syllabus intended to improve learners'language proficiency.Based on functional linguistics theories,the paper focuses on its distinctive features with reference to its para-authenticity of input materials,systematically showing the practical use of FNS.展开更多
针对采用接入表方法的无后台数据库的无线射频识别(Radio Frequency Identification,RFID)认证协议存在的安全威胁和效率不足,提出了一种改进的无后台数据库RFID双向认证协议。协议基于Hash函数,通过伪随机数实现随机检索标识的动态更...针对采用接入表方法的无后台数据库的无线射频识别(Radio Frequency Identification,RFID)认证协议存在的安全威胁和效率不足,提出了一种改进的无后台数据库RFID双向认证协议。协议基于Hash函数,通过伪随机数实现随机检索标识的动态更新和同步,并结合标签静态密钥降低阅读器和标签的计算复杂度以及标签的存储容量。BAN逻辑形式化安全证明、安全性能分析、效率分析表明,协议可以弥补同类RFID认证协议存在的机密性、拒绝服务以及去同步化等安全威胁,阅读器具有常数级的计算复杂度,标签具有更少的存储容量,适用于标签数量庞大的无后台数据库RFID系统。展开更多
文摘Interchange(3rd Ed.) exemplifies a functional-notional syllabus intended to improve learners'language proficiency.Based on functional linguistics theories,the paper focuses on its distinctive features with reference to its para-authenticity of input materials,systematically showing the practical use of FNS.
文摘针对采用接入表方法的无后台数据库的无线射频识别(Radio Frequency Identification,RFID)认证协议存在的安全威胁和效率不足,提出了一种改进的无后台数据库RFID双向认证协议。协议基于Hash函数,通过伪随机数实现随机检索标识的动态更新和同步,并结合标签静态密钥降低阅读器和标签的计算复杂度以及标签的存储容量。BAN逻辑形式化安全证明、安全性能分析、效率分析表明,协议可以弥补同类RFID认证协议存在的机密性、拒绝服务以及去同步化等安全威胁,阅读器具有常数级的计算复杂度,标签具有更少的存储容量,适用于标签数量庞大的无后台数据库RFID系统。