智能卡中随机序列的检验方法.doc

智能卡中随机序列的检验方法 本栏目责任编辑:李桂瑾…人工智能及识刖技术 智能卡中随机序列的检验方法 郭晓法,关长东 (1.辽宁省高速局朝阳管理处,辽宁朝阳122001;2.辽宁省高速局鲅鱼圈管理处,辽宁营口115007) 摘要:在对随机数安全性分析的基础上,在智能卡系统中引入随机序列的随机性统计检验的方法,检验生成序列是否满足系统安全 所需的随机性.最后,在智能卡上实现了这些检验方法并给出了测试结果.实际应用证明系统运行正确. 关键词:智能卡;随机序列;统计检验 中图分类号:TP311文献标识码:A文章编号:1009—3044(2007)07—20227—02 SmartCardRandomSequenceofTest GUOXiao—fa.GUANChang—donf (1.LiaoningProvincialBureauofChaoyangmanagementofhigh—speed,Liaoning122001,China;2.LiaoningProvincialBureauBayuquan managementofhigh—speed,Yingkou115007,China) Abstract:Inrandomsafetyanalysisonthebasisofinthesmartcardsystemintroducedrandomsequenceofrandomstatisticaltestmethod whetherthetestsequencegenerationsystemsthatmeetthesecurityrequirementsrandonmess.Finally,inasmartcardrealizedthesetestmethods andtestresuluaregiven.Practicalapplicationprovesthatthesystemoperatescorrectly KeyWOrdS:smartcards;Randomsequence;StatisticalTest 1前言 随着信息技术的迅速发展,智能卡(SmartCard)由于其方便, 安全的特点在金融,交通,网络服务等许多领域得到了广泛的应 用fl】.为了保证存储信息的安全可靠,在智能卡操作系统COS (ChipOperatingSystem)中引入了认证,鉴别,加密,签名等多种密 码协议,其中的大部分均用到了随机数[2】,因此随机数的随机性 直接关系到密码协议和应用系统的安全性因此在智能卡中必须 检验产生的随机序列的随机性.针对这一问题,本文探讨了在智 能卡上对随机序列进行统计检验的方法. 2智能卡中随机数的安全性分析 智能卡中的随机数产生可通过软件算法或硬件随机数发生 器来产生【3】.卡内产生的随机数构成随机序列,但由于卡片可能 受到各种非法的攻击.因此在COS使用随机序列前,必须对其进 行检测以保证序列的随机性.密码学意义上的安全随机数要求满 足以下一些特性f21: (1)不可预测性;(2)不可重复性;(3)可通过随机性统计检验. 因此.针对随机序列的各种特性.我们在智能卡上使用了不 同的随机性统计检验方法【4】,对随机序列进行统计检验.只有通 过检验的随机序列才能在系统中使用.在实际系统的设计中.为 了平衡安全性和响应速度,采用了如下的一些统计检验的方法: fl1频数检验法 主要用于检验随机序列中的0,1分布是否均匀 (21x检验法 此检验为优度拟合检验,它通过随机序列样本来检验总体是 否服从离散均匀分布『51. f31游程检验法 通过样本中的游程(连续的0或1)个数来判断总体的随机性 [6】. f41自相关检验法 通过随机序列样本的自相关特性来判断总体的随机性. 相应于每一种检验方法,设假设检验时显着水平为d.对应的 临界值为X,根据不同的安全需求每种检验方法可设定不同的显 着水平和临界值,因此在卡内定长分布参数记录文件中采用的存 储结构如下: typedefstmct{ unsignedchardistype;H检验分布的类型仅 unsignedeharsig__ level;//显着水平 unsignedcharthreshold;,/临界值X }DISTRIBUTIONPARAMETER; 3智能卡中随机序列的检验 为了对生成的随机序列进行检验.首先须对采样的随机序列 进行存储.其存储结构如下: typedefstreet{ unsignedeharrntype;H随机数的类型.硬件或软件生成 unsignedcharlength;//随机序列的长度(以字节为单位) unsignedeharsequence[1ength];,/生成的随机序列 lRAND0MSEQUENCE; 在如下讨论的随机序列统计检验