an improved smart card based password authentication scheme with provable security

Password authentication has been adopted as one of the most commonly used solutions in network environment to protect resources from unauthorized access. Recently, Lee–Kim–Yoo [S.W. Lee, H.S. Kim, K.Y. Yoo, Improvement of Chien et al.'s remote user authentication scheme using smart cards, Computer Standards & Interfaces 27 (2) (2005) 181–183] and Lee-Chiu [N.Y. Lee, Y.C. Chiu, Improved remote authentication scheme with smart card, Computer Standards & Interfaces 27 (2) (2005) 177–180] respectively proposed a smart card based password authentication scheme. We show that these two schemes are both subject to forgery attacks provided that the information stored in the smart card is disclosed by the adversary. We also propose an improved scheme with formal security proof.

Origin and evolution of the RIG-I like RNA helicase gene family

Background: The DExD/H domain containing RNA helicases such as retinoic acid-inducible gene I (RIG-I) and melanoma differentiation-associated gene 5 (MDA5) are key cytosolic pattern recognition receptors (PRRs) for detecting nucleotide pathogen associated molecular patterns (PAMPs) of invading viruses. The RIG-I and MDA5 proteins differentially recognise conserved PAMPs in double stranded or single stranded viral RNA molecules, leading to activation of the interferon system in vertebrates. They share three core protein domains including a RNA helicase domain near the C terminus (HELICc), one or more caspase activation and recruitment domains (CARDs) and an ATP dependent DExD/H domain. The RIG-I/MDA5 directed interferon response is negatively regulated by laboratory of genetics and physiology 2 (LGP2) and is believed to be controlled by the mitochondria antiviral signalling protein (MAVS), a CARD containing protein associated with mitochondria. Results: The DExD/H containing RNA helicases including RIG-I, MDA5 and LGP2 were analysed in silico in a wide spectrum of invertebrate and vertebrate genomes. The gene synteny of MDA5 and LGP2 is well conserved among vertebrates whilst conservation of the gene synteny of RIG-I is less apparent. Invertebrate homologues had a closer phylogenetic relationship with the vertebrate RIG-Is than the MDA5/LGP2 molecules, suggesting the RIG-I homologues may have emerged earlier in evolution, possibly prior to the appearance of vertebrates. Our data suggest that the RIG-I like helicases possibly originated from three distinct genes coding for the core domains including the HELICc, CARD and ATP dependent DExD/H domains through gene fusion and gene/domain duplication. Furthermore, presence of domains similar to a prokaryotic DNA restriction enzyme III domain (Res III), and a zinc finger domain of transcription factor (TF) IIS have been detected by bioinformatic analysis. Conclusion: The RIG-I/MDA5 viral surveillance system is conserved in vertebrates. The RIG-I like helicase family appears to have evolved from a common ancestor that originated from genes encoding different core functional domains. Diversification of core functional domains might be fundamental to their functional divergence in terms of recognition of different viral PAMPs.

A power-saving scheme for IEEE 802.11 Ad hoc networks

In the Wireless Local Area Networks (WLANs), the terminals are often powered by battery, so the power-saving performance of the wireless network card is a very important issue. For IEEE 802.11 Ad hoc networks, a power-saving scheme is presented in Medium Access Control (MAC) layer to reduce the power consumption by allowing the nodes enter into the sleep mode, but the scheme is based on Time-Drive Scheme (TDS) whose power-saving efficiency becomes lower and lower with the network load increasing. This paper presented a novel energy-saving mechanism, called as Hybrid-Drive Scheme (HDS), which introduces into a Message.-Drive Scheme (MDS) and combines MDS with the conventional TDS. The MDS, could obtain high efficiency when the load is heavy; meanwhile the TDS has high efficiency when the network load is small. The analysis shows that the proposed HDS could obtain high energy-efficiency whether the network load is light or heavy and have higher energy-saving efficiency than conventional scheme in the IEEE 802.11 standard.

HIRFL-CSR前端总线控制器的SD驱动

The HIRFL-CSR EVME bus controller, which runs Embedded Linux OS, is based on AT91RM9200 microprocessor, whose core is ARM920T. There are hardware interface electronic circuits connecting AT91RM9200 microprocessor and Security Digital Memory Card (SD Card). This article analyzes Operation System kernel and Linux device driver’s structure, designs SD Card driver based on Embedded Linux, which runs on AT91RM9200 microprocessor.中文文摘：简要论述了用于兰州重离子加速器冷却储存环(HIRFL-CSR)控制系统的前端总线控制器。该控制器是基于ARM920T核心的AT91RM9200处理器,运行嵌入式Linux操作系统。描述了AT91RM9200处理器与Security Digital MemoryCard(SD卡)的硬件接口电路,分析了操作系统内核和Linux驱动程序结构,设计和实现了嵌入式Linux下基于AT91RM9200处理器的SD卡驱动程序。

多路谱仪放大器输出信号的读出与数据采集

A read-out and data acquisition system for the outputs of multi-channel spectroscopy amplifiers is introduced briefly in this paper.The 16-channel gating integrator/multiplexer developed by us and PXI-DAQ card are used to construct this system.A virtual instrument system for displaying,indicating,measuring and recording of output waveform is accomplished by integrating the PC,hardware,software together flexibly based on the Lab Windows/CVI platform in our read-out and data acquisition system.In this system,...中文文摘：简要介绍一个针对多路谱仪放大器的读出与数据采集方法与系统。该系统基于16通道门积分/选通输出电路和通用PXI-DAQ卡构建。利用Lab Windows/CVI平台构建虚拟仪器,灵活地将计算机、硬件、软件结合起来,设计了一个读出与数据采集系统。在该系统中,一个ADC通道可以面对16个谱仪放大器的输出,有效地提高了系统的集成度,降低了数据采集系统的成本。该设计为利用通用型谱仪放大器构建数百参数的信号读出与数据采集系统提供了一种新的方法。通过实验验证,证明该系统具有智能化、可靠性高、实时性强、成本低等优点。

薄罗藓科和羽藓科某些属分类位置的探讨

Herpetineurontoccoae(Sull.et.Lesq.)Card.〕、(ThuidiumkanedaeSak.)、〔Claopodiumpellucinerve(Mitt.)Best.〕、〔Anomodonrugelii(C.Mｌｌ.)Keissl.〕、Haplohymeniumtriste(Ces.)Kindb.〕〔Lescuraeapatens(Lindb.)Arn.etJens〕、(LeskeapolycarpaEhrh.exHedw.)、〔Bryohaplocladiummicrophyllum(Hedw.)R.WatanabeetIwats〕、(FauriellatenerrimaBroth.)Bryohaplocladiumangustifolium(HampeetC.M櫣ｌｌ.)R.WatanabeetIwats.〕HaplohymeniumDoz.etMolk.)、(AnomodonHook.etTayl.)、属〔Herpetineuron(C.M櫣ｌｌ.)Card.〕(Anomodontaceae)是合理的;小羽藓属(BryohaplocladiumR.WatanabeetIwats.)Claopodium(Lesq.etJam.)RenetCard.〕Leskeaceae)。

Structure and luminescent properties of YAG : Eu, Bi synthesized by sol-gel method

(Y1-xEux)(3)Al5O12 and (Y1-x-yEuxBiy)(3)Al5O12 were prepared by so-gel method. Their structures of the luminophor are similar to that of YAG, which is recorded on the ASTM card and belongs to a cubic system. The luminescent properties show that the reaction temperature of the current sol-gel method is in the range of 400-500 degrees C, which is lower than that of the conventional solid state reaction. The luminophors have the strongest emission intensity when the values of x and y are 0.06 and 0.013, respectively.

酚酞型聚芳醚砜(Ⅶ):K_2C0_3存在下PP/DCDPS体系聚合反应机理的研究

利用~(13)C-NMR方法研究了弱碱K_2CO_3存在下酚酞成盐反应及其与活性双卤砜亲核缩聚反应过程中的结构特征。对一系列碱性条件下酚酞(PP)与4,4'-二氯二苯砜(DCDPS)的缩聚反应的研究表明任何影响内酯结构酚酞盐生成的因素都会严重阻碍聚合反应的进行。对模型化合物存在下K_2CO_3在极性非质子溶剂中的溶解/解离行为的研究结果表明酚酞类Card。双酚与固体K_2CO_3之间可能存在着一种特殊的络合作用。基于我们系列研究结果,本文中总结提出了弱碱K_2CO_3存在下酚酞的反应机理。

基于DSP的CANopen通讯协议的实现

CANopen是一种开放的应用层协议,其应用可以进一步提高系统的可靠性、通讯效率及灵活性,而且可以使产品具有很好的兼容性。本文采用CANopen通讯协议实现了CAN总线DSP系统与上位机CAN卡之间的通讯,并通过测试实验验证了信息传递的可靠性,保证了全数字网络化伺服驱动系统中对电机控制的准确性和实时性。

基于C8051的运动控制卡研制和应用

本文针对排爆机器人手臂多关节联动控制的需要,开发了一种具有高集成度的基于C8051单片机和CAN总线的运动控制卡。介绍了运动控制卡的原理及实施方案,同时给出了运动控制卡在机器人平台的应用实例。在排爆机器人平台上的应用表明该运动控制卡具有较高的精度及很好的可靠性和实时性。

仿人机器人腰机构控制及分析实验平台研究

介绍了一种新型的仿人机器人两自由度腰部结构,给出了该机构两个伺服电机的PID控制策略,建立了基于PC机CAN卡的网络控制平台,该平台可实现腰部机构的实时控制及实时机构控制响应特性分析,该平台还具有扩展性强、成本低的特点。

卷烟条盒包装质量检测机器视觉系统设计

为了避免人眼对产品外观质量检测时,人眼视觉疲劳所产生的产品错检、漏检,提出了基于机器视觉的烟支条盒包装质量检测系统的设计。该系统由光源、相机、图像采集卡和工业控制计算机组成视觉系统处理单元,应用定位配准、边缘检测和斑点分析等图像处理算法完成对产品缺陷的检测。该视觉检测系统已经在烟厂得到了实际应用,对今后开发类似的基于机器视觉的产品外观质量检测系统具有一定的参考价值和指导意义。

车道收费系统中USB接口通信卡的设计

带USB接口的设备使用方便,发展迅速,文章结合高速公路车道收费系统中的实际问题,详细介绍了设计一个USB接口通信卡的过程,包括电路设计、器件选择、固件设计、驱动程序及其应用程序设计。

基于DSRC的多功能不停车收费系统

DSRC标准是ISO/TC204制定的智能交通系统(ITS)中车—路信息通讯的协议。采用双片式ETC电子标签结合双界面IC卡的储值卡方案形成的多功能不停车收费系统,充分兼容了当前国内普遍应用的IC卡半自动收费方式,集中了IC卡收费系统和ETC收费系统的优点,方便、快捷、通行能力强,并解决了收费口的交通拥挤现象。