野王,日本xxxx片免费观看,丁香五月婷婷亚洲,六月丁香婷婷大团结

會(huì)員中心
加入VIP
微信

客服微信網(wǎng)站公眾號(hào)

　煤礦　化工　建筑
　機(jī)械　電力　冶金
　消防　交通　特種

　論壇　活動(dòng)　視頻
　問(wèn)答　投稿　 MSDS
　簽到　超市　招聘

導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 交通安全論文>>正文

鐵路信號(hào)安全協(xié)議一致性測(cè)試序列生成研究

文檔作者：楊世玉1 徐中偉1 喻鋼1 張盛1 文檔來(lái)源： 1同濟(jì)大學(xué) 2．上海大學(xué)		點(diǎn) 擊數(shù)：	更新時(shí)間： 2021年07月12日
下載地址：點(diǎn)擊這里	文件大?。?310.67 KB 共4頁(yè)	文檔格式： PDF	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

內(nèi)容預(yù)覽 [文件共4頁(yè)]

本文件共4頁(yè)，如需編輯使用，請(qǐng)下載。

注：預(yù)覽效果可能會(huì)出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問(wèn)題，下載是正常的。

	文件大?。?10.67 KB 共4頁(yè) 文件格式：PDF 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)）

下一篇：鐵路客運(yùn)服務(wù)系統(tǒng)信息安全測(cè)試方法研究

上一篇：安全氣囊氣體發(fā)生劑燃速測(cè)試方法研究

文本預(yù)覽

僅提取頁(yè)面文字內(nèi)容，供快速閱讀使用。

Compu招r Engineering andApplications計(jì)算機(jī)工程與應(yīng)用2010，46(34) 59
@研發(fā)、設(shè)計(jì)、測(cè)試@
鐵路信號(hào)安全協(xié)議一致性測(cè)試序列生成研究
楊世玉1，徐中偉1，喻鋼1一，張盛1
YANG Shi．yul，XU Zhong．weP,YU Gan91．2,ZHANG Shen91
1同濟(jì)大學(xué)電子與信息工程學(xué)院，上海201804
2．上海大學(xué)悉尼工商學(xué)院，上海201800
1．College of Electronic and Information Engineering，Tongji University，Shanghai 201804，China
2．College of Sydney Business，Shanghai University，Stmghai 201800，China
E-mail：ysytomorrow@163．com．
YANG Shi-yu。XU Zhong-wel。YU Gang，et a1．Conformance test sequence generation for railway signal safety protoc01．
Computer Engineering and AppHcafions，2010．46(34)：59·61．
Abstract：Railway signal safety protocol—I alsure$the safe operation of high-speed rmlway．And generation of test sequence
is the key of conformance test．Aiming at the real—time requirements of RSSP—I，this paper proposes an FSM model with
time constraints。and generates every state’S unique input／output sequence at the basis of this model．At last，the algorithm
based On converging edge is used to generate conforltmnce test sequence for RSSP—I．which is more efficient than other algorithms．
Key words：Finite State Machine(FSM)；Unique Input／Output(UIO)sequence；Railway Signal Safety Protocol(RSSP·I)；time
constraints；converging edge
摘要：鐵路信號(hào)安全協(xié)議(RssP．I)是實(shí)現(xiàn)高速鐵路安全運(yùn)行的保障，協(xié)議一致性測(cè)試的核心是生成完備有效的測(cè)試序列。針
對(duì)鐵路信號(hào)安全協(xié)議的實(shí)時(shí)性要求。提出了帶時(shí)間約束的FSM(Finite State Machine)模型，并在此模型基礎(chǔ)上生成狀態(tài)的UIO
(Unique Input／Output sequences)序列，最后采用基于收斂邊的算法生成了較其他算法更短的一致性測(cè)試序列，從而提高了測(cè)試效率。
關(guān)鍵詞：有限狀態(tài)機(jī)；唯一輸入輸出序列；CA路信號(hào)安全協(xié)議；時(shí)間約束；收斂邊
DOI：10．3778／j．issn．1002．8331．2010．34．018 文章編號(hào)：1002—8331(2010)34—0059．03 文獻(xiàn)標(biāo)識(shí)碼：A 中圖分類(lèi)號(hào)：TN915．852
l 引言
隨著武廣客運(yùn)專(zhuān)線、京津客運(yùn)專(zhuān)線的正式運(yùn)營(yíng)，我國(guó)已經(jīng)
步入高速鐵路飛速發(fā)展階段。列車(chē)運(yùn)行控制系統(tǒng)是保障高速
鐵路運(yùn)行安全的關(guān)鍵設(shè)備之一，其一旦失效，將可能引發(fā)重大
的財(cái)產(chǎn)損失或人員傷亡，是典型的安全苛求系統(tǒng)。我國(guó)目前
高速鐵路使用的CTCS．3(中國(guó)列車(chē)運(yùn)行控制系統(tǒng)3級(jí))功能復(fù)
雜，系統(tǒng)內(nèi)部、系統(tǒng)與外部環(huán)境之間存在大量復(fù)雜的數(shù)據(jù)交
互，這些數(shù)據(jù)的交互直接影響到列車(chē)運(yùn)行安全“l(fā)。因此采用鐵
路信號(hào)安全協(xié)議(RSSP．I)是保障信息安全實(shí)時(shí)傳遞的有效技
術(shù)方法，而一致性測(cè)試是協(xié)議測(cè)試的關(guān)鍵。協(xié)議一致性測(cè)試
是驗(yàn)證協(xié)議實(shí)現(xiàn)是否符合協(xié)議規(guī)范、滿(mǎn)足需求的有效方法n1。
一致性測(cè)試的工作主要集中在測(cè)試組織和測(cè)試集的生成
兩個(gè)方面。測(cè)試組織即測(cè)試方法的研究和測(cè)試系統(tǒng)的建立；
測(cè)試集的生成主要通過(guò)協(xié)議的形式化描述，從理論和方法上
研究并生成高質(zhì)量的測(cè)試集。一致性測(cè)試集包含一組測(cè)試序
列，是一致性測(cè)試的核心和主線。在測(cè)試序列生成方面，理論
上比較成熟的測(cè)試序列生成算法主要是基于有限狀態(tài)機(jī)的，
有T方法、D方法、UIO方法和w方法。相對(duì)而言，UIO序列的
長(zhǎng)度最短．所以通常采用UIO(Unique Input／Output sequences)
序列作為狀態(tài)的區(qū)分序列I”。目前一致性測(cè)試研究都是針對(duì)
功能的，研究重點(diǎn)在于如何生成長(zhǎng)度短、檢錯(cuò)能力強(qiáng)的測(cè)試序
列，而在CTCS-3安全苛求系統(tǒng)中，協(xié)議一致性測(cè)試除了面向
功能需求，更要針對(duì)安全性需求及實(shí)時(shí)性需求進(jìn)行測(cè)試。因
此，針對(duì)RSSP．I協(xié)議一致性測(cè)試需求。建立了帶時(shí)間約束的
FSM模型，并利用基于收斂邊的算法，生成了RSSP．I協(xié)議的
一致性測(cè)試序列。
2基于FSM模瓔的一致性測(cè)試序列生成算法
2．1有限狀態(tài)機(jī)
有限狀態(tài)機(jī)在一致性測(cè)試中主要用于協(xié)議建模和測(cè)試序
基金項(xiàng)目：國(guó)家自然科學(xué)基金(the National Natural Science Foundation of China under Grant No．6067400)；鐵道部科技研究開(kāi)發(fā)計(jì)劃基金資助
項(xiàng)目(the Ministry of Railway Technology Research and Development Foundation of China under Errant No．2007X003)。
作者簡(jiǎn)介：楊世毛(1985．)。女，碩士研究生，主研領(lǐng)域?yàn)榘踩浖y(cè)試評(píng)估；徐中偉(1964-)，男，教授。博士生導(dǎo)師．主研領(lǐng)域?yàn)榘踩浖y(cè)試評(píng)
估；喻鋼(1977．)，男，講師，博士研究生．主研領(lǐng)域?yàn)榘踩浖y(cè)試評(píng)估；張盛(1985·)，男，碩士研究生，主研領(lǐng)域?yàn)榘踩浖y(cè)試評(píng)估。
收穡日期：2010-05．27修回日期：2010．07．26
萬(wàn)方數(shù)據(jù)
60 2010，46(34) Compu把r Engineering andApplications計(jì)算機(jī)工程與應(yīng)用
列自動(dòng)生成兩個(gè)方面。有限狀態(tài)機(jī)可表示為M=假1,0，d，靠so)，
其中14J：
(1)s是非空的有限狀態(tài)集；
(2)，是有限輸入集；
(3)D是有限輸出集；
(4)J是狀態(tài)轉(zhuǎn)移函數(shù)s×，一S；
(5)y是輸出函數(shù)：S×，-0；
(6)so是初始狀態(tài)。
M可以用有向圖G--(V，￡)來(lái)表示。其中頂點(diǎn)集合肛{v。，
V2，?，¨}為FSM的狀態(tài)集合S，有向邊集合E一--(vt，vj；IdO．)，表
示從一個(gè)狀態(tài)v,N另一個(gè)狀態(tài)v，的變遷，厶和D_分別為輸入輸
出事件。圖I所示為一個(gè)FSM的有向圖。
圖1 FSM的有向圖
2．2一致性測(cè)試序列生成算法
協(xié)議的一致性測(cè)試要覆蓋FSM有向圖中的每個(gè)狀態(tài)和
變遷。一般算法生成一致性測(cè)試序列的過(guò)程如下91：首先計(jì)算
出各個(gè)狀態(tài)的UIO序列，然后用復(fù)位信息Reset將被測(cè)的有向
圖置于初始狀態(tài)&amp;amp;，再將其轉(zhuǎn)換到狀態(tài)S；對(duì)有向圖施加輸入
信號(hào)f．校驗(yàn)輸出0與協(xié)議規(guī)范是否一致；最后用UIO序列驗(yàn)證
尾狀態(tài)。由此得到的測(cè)試序列為P(&amp;amp;，S)@，(S，S)@們D(S)。
其中@是連接符，P(品，S)為引導(dǎo)序列。對(duì)每個(gè)狀態(tài)的所有輸
入都執(zhí)行上述過(guò)程就可以得到最終的測(cè)試序列。
使用上述方法生成的測(cè)試序列較長(zhǎng)，測(cè)試效率低下。因
此，采用了基于收斂邊的算法：設(shè)e。、e2為相同的砌序列，若e，、
e2收斂到相同的尾狀態(tài)，那么稱(chēng)e，、e2為收斂邊嗍。
對(duì)于沒(méi)有收斂邊的FSM模型來(lái)說(shuō)，模型中的任一狀態(tài)sj，
如果只有一個(gè)變遷(S，S；fl／o。)取決于iJo。，那么由UIO的定義
可知，f。／o。啪(S)必定是S的UIO序列。對(duì)狀態(tài)＆來(lái)說(shuō)，如果
只有一個(gè)變遷(S，&amp;amp;；咖：)是取決于如，那么i#o：啪(&amp;amp;)為
狀態(tài)S的UIO序列。所以，fl／o。iJo：∽D(＆)是S的UIO序列。
以此類(lèi)推，f，／o，i2／o：?UIO(剛為狀態(tài)S的UIO序列。
基于收斂邊的算法將FSM模型分為有收斂邊和沒(méi)有收
斂邊兩種情況r1：對(duì)于一個(gè)沒(méi)有收斂邊的FSM模型G，將模型
添加若干條邊構(gòu)造成一個(gè)對(duì)稱(chēng)圖G·，由初始狀態(tài)氐開(kāi)始，生
成G·的歐拉遍歷EP。由于G沒(méi)有收斂邊，則有向圖G中的每
個(gè)狀態(tài)(S，&amp;amp;，?，曼)的UIO序列都可以用f。／D。f2／02"··明D(墨)
表示。最后的測(cè)試序列為EP@UIO(島)，@為連接符；如果一
個(gè)FSM模型中有收斂邊，如對(duì)狀態(tài)S，＆，?，＆輸入相同f／D后
都收斂到狀態(tài)S，那么i／oUlO(Sj)不是＆，島，?，S的UIO序
列。此時(shí)，需要把收斂邊單獨(dú)提取出來(lái)進(jìn)行處理。具體的算
法流程如圖2。
3 RSSP—I協(xié)議一致性測(cè)試序列的生成
3．1鐵路信號(hào)安全協(xié)議
在高速鐵路列車(chē)控制系統(tǒng)中，鐵路倍號(hào)安全協(xié)議
圖2基于收斂邊算法的沈程圖
(RSSP．I)是用于車(chē)站列車(chē)控制中心與軌旁電子單元之間傳輸
信息的。在RSSP．I協(xié)議中，發(fā)送方(B)是會(huì)話發(fā)起者，接收方
(A)不能主動(dòng)向發(fā)送方發(fā)送數(shù)據(jù)。B周期性地向A發(fā)送安全
數(shù)據(jù)。A必須實(shí)時(shí)檢查來(lái)自B的報(bào)文的時(shí)序，一旦不同步，就
觸發(fā)時(shí)序校正機(jī)制。A向B發(fā)送時(shí)序校正請(qǐng)求幀(SSE)，B收
到SSE后將時(shí)序信息放入時(shí)序校正應(yīng)答幀(SSR)中，發(fā)送給
A，A收到SSR經(jīng)過(guò)校驗(yàn)提取出時(shí)序信息后，開(kāi)始處理B發(fā)送
的安全數(shù)據(jù)。若當(dāng)前時(shí)序已同步，就只需B單方向?qū)崟r(shí)發(fā)送
安全數(shù)據(jù)幀即可，A不必做應(yīng)答。
在握手過(guò)程中，B仍可繼續(xù)傳輸安全數(shù)據(jù)。這樣就保證
了網(wǎng)絡(luò)中消息序列傳輸?shù)倪B續(xù)性。鐵路信號(hào)安全協(xié)議的數(shù)據(jù)
交互如圖3所示嗍。
f～能夠處理來(lái)自B 1不能夠處理來(lái)自B
L的安全數(shù)據(jù)■ 的安全數(shù)據(jù)
圖3安全數(shù)據(jù)交瓦
3．2帶時(shí)問(wèn)約束的FSM模型
高速鐵路列車(chē)控制系統(tǒng)對(duì)實(shí)時(shí)性要求非常高。在系統(tǒng)
中。通信雙方都沒(méi)有未收到數(shù)據(jù)的最大容忍時(shí)間，如果超過(guò)這
個(gè)時(shí)間還未收到對(duì)方發(fā)來(lái)的數(shù)據(jù)，則進(jìn)行重發(fā)或判定通信中
斷。超時(shí)數(shù)據(jù)即使合法也應(yīng)丟棄，因?yàn)槌瑫r(shí)的數(shù)據(jù)不僅沒(méi)用
有時(shí)還會(huì)對(duì)整個(gè)系統(tǒng)的安全帶來(lái)危害嘲。
通常處理超時(shí)的做法是在通信雙方設(shè)定定時(shí)器。對(duì)發(fā)送
萬(wàn)方數(shù)據(jù)
楊世玉，徐中偉，喻鋼，等：鐵路信號(hào)安全協(xié)議一致性測(cè)試序列生成研究2010，46(34) 61
方來(lái)說(shuō)，發(fā)送消息的同時(shí)啟動(dòng)定時(shí)器，在規(guī)定時(shí)間內(nèi)收到接收
方發(fā)來(lái)的反饋消息則認(rèn)為通信正常，繼續(xù)發(fā)送下一條消息。
如果發(fā)送方在規(guī)定時(shí)間內(nèi)沒(méi)有收到對(duì)方的反饋消息，則認(rèn)為
通信發(fā)生了故障。對(duì)接收方來(lái)說(shuō)，每次收到發(fā)送方的數(shù)據(jù)就
給出一條反饋消息，并重新啟動(dòng)定時(shí)器，如果在規(guī)定時(shí)間內(nèi)還
沒(méi)收到發(fā)送方的數(shù)據(jù)，則判定為通信中斷。
在建立RSSP．I協(xié)議的FSM模型時(shí)，應(yīng)把超時(shí)考慮進(jìn)去，
構(gòu)建帶時(shí)間約束的FSM模型。即利用定時(shí)器實(shí)現(xiàn)超時(shí)處理，
將超時(shí)作為模型的輸入，根據(jù)協(xié)議的相應(yīng)動(dòng)作輸出即可實(shí)現(xiàn)
重發(fā)和結(jié)束通信的功能。
RSSP．I協(xié)議是從接收方的角度來(lái)設(shè)計(jì)的，所以本文就以
接收方為測(cè)試對(duì)象。在RSSP．I協(xié)議中，采用定時(shí)器對(duì)超時(shí)的
數(shù)據(jù)進(jìn)行處理。超時(shí)處理的做法是，在接收方設(shè)置兩個(gè)定時(shí)
器，NoDam和Wa“SSR。
NoDam是接收方未收到發(fā)送方數(shù)據(jù)的最大容忍時(shí)間，一
旦超過(guò)這個(gè)時(shí)間，接收方判定通信中斷。
WaitSSR為接收方發(fā)送SSE后等待SSR回復(fù)的最大容忍
時(shí)間，超過(guò)此時(shí)間，重新發(fā)送時(shí)序校驗(yàn)請(qǐng)求幀。RSSP—I協(xié)議的
有限狀態(tài)機(jī)模型如圖4所示。
圖4 RSSP．1協(xié)議的FSM模型
協(xié)議具有4個(gè)狀態(tài)(島，S，島，島)，其中：
&amp;amp;表示空閑，無(wú)連接狀態(tài)；
&amp;amp;表示等待SSR回復(fù)狀態(tài)，即接收方發(fā)送了SSE，等待發(fā)
送方回復(fù)SSR以便進(jìn)行時(shí)序同步；
．受表示接收安全數(shù)據(jù)狀態(tài)，接收方與發(fā)送方已建立同步，
接收方接收發(fā)送方數(shù)據(jù)交給應(yīng)用層處理；
島表示通信中斷狀態(tài)，通信過(guò)程中由于接收方在設(shè)定的
時(shí)間限制內(nèi)未收到來(lái)自發(fā)送方的數(shù)據(jù)，接收方判為通信中斷，
斷開(kāi)連接。
協(xié)議的輸入輸出包括：
DATA為安全數(shù)據(jù)；SSE為接收方的時(shí)序校正請(qǐng)求；SSR
為發(fā)送方的時(shí)序校正應(yīng)答；Timeout 為等待接收WaitSR SSR
超時(shí)；Timeout 為接收安全數(shù)據(jù)超時(shí)； 為刪_NoData DISCONN
除鏈路命令。
輸入集合為而(D／蛆'A)，i2(SSR)，6(D)，h(Timeout WaitSSR)，
is(Timeout NoDam)，i。(DISCONN)；輸出集合為o。(SSE)，D2(D)。
3．3 RSSP．I協(xié)議一致性測(cè)試序列的生成
根據(jù)圖4所示的FSM模型G，首先找出收斂邊，可以看出
只有兩條收斂邊：
ce,={Sl，島；is／02}，ce2={S2，焉；舶2}
對(duì)每條收斂邊的起始狀態(tài)，求出其u10序列：L玎D(蜀)=∥D2。
叩D(&amp;amp;)=i#ol。
在圖4中，將以&amp;amp;和&amp;amp;作為尾狀態(tài)的所有變遷找出，計(jì)算
其子序列e(S，sj。S,；i／o)={i／o，u／o(sj)}如下：
et---(S0，S，＆；iI／01)=“／ol，i#02}
薩(So，&amp;amp;，＆；∥0I)={跏l，彬D2}
白=(&amp;amp;，S，&amp;amp;；ido，)={跏l，iJ02}
鱸(&amp;amp;，S，&amp;amp;；i3／01)={i40I，i#02}
e產(chǎn)(蜀，島，SI；∥02)={∥D2，i；o-}
薩(&amp;amp;，島。S；i,／o：)={f，／02，U01}
構(gòu)造圖G，-(礦，E’)，V’即為G的頂點(diǎn)，而E，是將G中相關(guān)
的變遷{j，／o，，Uo。，iJo，，i#o，，8／0：，i,／o：}用上面的子序列替代，
其余邊保持不變。得到的G如圖5所示。
圖5基于收斂邊算法的G倒
在任意狀態(tài)．孓和．霉間添加若干來(lái)自圖G的邊，使得G變成
對(duì)稱(chēng)圖G·，即對(duì)于每個(gè)狀態(tài)，其入度與出度相等，如圖6所示。
圈6基于收斂邊算法的G·圖
構(gòu)造圖6的歐拉路徑：
ri／null，e1，e4。e6，e5，自，i40l。f5／D2，iJ02，如，is／o：，f如
代入測(cè)試子序列可得到：
ri／null，i,／oI'∥仍，厶／bI'∥詵，f1／也，i3／ol，iJ02，UoI，idol，i2／02，
i；ol，∥D2，id02，Uol，iJ02，is／02，枷2
可以看出，本文是以&amp;amp;作為末狀態(tài)，而啪(S0)=f。／o。。由
前面的推理可知，在整個(gè)歐拉路徑中。每一個(gè)狀態(tài)都可以用
it／o，i#o：?∽D(&amp;amp;)來(lái)驗(yàn)證，所以得到的測(cè)試序列不僅對(duì)每個(gè)變
遷進(jìn)行了測(cè)試，還對(duì)每個(gè)尾狀態(tài)進(jìn)行了驗(yàn)證。
最終，得到RSSP．I協(xié)議的一致性測(cè)試序列：
r／／null，f1／bl，∥a2，i；oI，糾b2，j，／況，U01，i2／02，i,／ol，idoI，i#02，
i#01，id02，id02，i#ol，i#02，id02，劃白2，i,／ol
測(cè)試序列長(zhǎng)度為19。
3．4測(cè)試序列分析
傳統(tǒng)算法需要對(duì)每個(gè)尾狀態(tài)進(jìn)行狀態(tài)驗(yàn)證，而基于收斂
邊的算法根據(jù)收斂邊的性質(zhì)，利用最后一個(gè)狀態(tài)的UIO序列
進(jìn)行所有狀態(tài)的驗(yàn)證。因此產(chǎn)生的測(cè)試序列較短。
(下轉(zhuǎn)9l頁(yè))
萬(wàn)方數(shù)據(jù)
俞惠芳，王彩芬，王之倉(cāng)，等：自認(rèn)證廣義指定驗(yàn)證者簽密方案
假?zèng)]還有其他用戶(hù)能夠從密文中恢復(fù)出消息明文m。簽
密持有者在指定簽密算法中給出礦=e(Q，，P，+P。∥，攻擊者
由R=kP求出k，進(jìn)而偽造礦以便恢復(fù)消息明文是不可行的，
因?yàn)檫@相當(dāng)于破解ECDL難題。另外，如果攻擊者能求出
y=e(sr，固=P((～+s)Qr，㈣=e(P，p)abk，這就相當(dāng)于已知
R=kP，Q，=aP，(rv+力P=cP，計(jì)算出了dP，P)樅，這和BDH
困難問(wèn)題相矛盾，所以攻擊者通過(guò)掰=皿(noc恢復(fù)出消息明
文研是不可能的，即假設(shè)不成立。所以除了簽密者、簽密持有
者和指定驗(yàn)證者外．其他任何第三方均無(wú)法知道消息明文。
4．3指定簽密驗(yàn)證的指定性
從等式m=％O")ec(其中y=e(Sv，P))中可以看出，要確
保能夠正確恢復(fù)出消息明文m，需要用到指定驗(yàn)證者的私鑰
品。只有擁有合法私鑰品的指定驗(yàn)證者才能正確恢復(fù)出消
息明文m。在正確恢復(fù)出m的基礎(chǔ)上，指定驗(yàn)證者才能通過(guò)
判斷等式cr2=P(Q。，巳)7rq‘”·∞r(nóng)即P(Q』，P。6)’q‘朋’峨·～是否成
立來(lái)驗(yàn)證簽密(0"I，％)。而任何與本文方案無(wú)關(guān)的第三方試圖
利用已有信息甑，％)求出m是不可能的，因?yàn)檫@相當(dāng)于破解
BDH困難問(wèn)題和單向散列函數(shù)求逆問(wèn)題。
4．4不可偽造性
任何內(nèi)部攻擊者和外部攻擊者都不可能偽造一個(gè)來(lái)自簽
密者和簽密持有者的簽密組。
一個(gè)外部攻擊者試圖假冒簽密者偽造消息m的簽密組
倆，f，q)和(R，C，O"I，0"2)。由于外部攻擊者不知道(，，s．，七)，
因而無(wú)法構(gòu)造合法的能夠通過(guò)簽密持有者和指定驗(yàn)證者驗(yàn)證
的簽密。所以任何外部攻擊者在不知道(f，s。，七)情況下，要
偽造出有效合法的密文是不可行的。
假?zèng)]內(nèi)部攻擊者為指定驗(yàn)證者，指定驗(yàn)證者向第三方稱(chēng)
(R 7，C，吼，#23為合法的簽密組，其中(R’，嗎，)為指定驗(yàn)證者偽
造的數(shù)據(jù)。為了使得偽造數(shù)據(jù)通過(guò)驗(yàn)證，指定驗(yàn)證者必須確
定k，但是k是一個(gè)隨機(jī)整數(shù)而且只有簽密持有者知道，即使
指定驗(yàn)證者知道R，想通過(guò)尺=艫計(jì)算出k也是不可行的，因
為求解ECDL問(wèn)題是困難的。因此，指定驗(yàn)證者是不可能偽
造出合法的簽密。
5結(jié)語(yǔ)
在橢圓曲線離散對(duì)數(shù)問(wèn)題和雙線性Diffie—Hellman問(wèn)題
的難解性下，首次構(gòu)造了一個(gè)自認(rèn)證廣義指定驗(yàn)證者簽密方
案。新方案不存在證書(shū)管理問(wèn)題和密鑰托管l’ⅡJ題，允許簽密
的持有者指定簽密給指定的驗(yàn)證者，只有指定的驗(yàn)證者能夠
從指定簽密中正確恢復(fù)出消息，而且安全性強(qiáng)、計(jì)算和通信成
本低、效率高，更適合于在實(shí)際中應(yīng)用。
參考文獻(xiàn)：
【1】Stemfeld R，Bull L，Wang H，et a1．Universal designated-verifier
signatures[C]／／LNCS 2894：Proceedings of Advances in Cryptol—
ogy-Asiacrypt’03，Taipei，Taiwai，November 30·December 4，
2003．Berlin：Springer-Verlag。2003：522·542．
【2】Zhang Fan·guo。Susilo W，Mu Yi，et a1．Identity-based universal
designated verifier signature[C]／／LNCS 3823：Proceedings of
EDC Workshops’05，Nagasaki，Japan，December 6-9，2005．Berlin：
Springer-Verlag，2005：825·834．
【3】Shao Zu-hua．Self-certified signature scheme from pairings[J]．
The Journal of Systems and Software．2007(80)：388·395．
【4】Wang Gui-lin．Universal forgery 011 a group signature scheme
using seif-certi 6 ed pubfic keys[J]．Information Processing Letters．
2004(89)：227。231．
【5】Tseng Y，Jan J，Chien H．Digital signature with message l哈eOV·
ery using self-certified public keys and its variants[J]．Applied
Mathematics and Computation，2003(136)：203-214．
[6】6俞惠芳，王彩芬．一個(gè)高效的自認(rèn)證簽密方案【J】．計(jì)算機(jī)工程。
2009，35(18)．
(Ja接6l頁(yè))
對(duì)于RSSP．I協(xié)議的FSM模型，一般算法得到的測(cè)試序列
長(zhǎng)度為30，基于收斂邊算法得到的測(cè)試序列長(zhǎng)度為19，而產(chǎn)
生測(cè)試序列的時(shí)間并沒(méi)有增加。基于收斂邊的算法與一般算
法都對(duì)FSM模型中所有變遷進(jìn)行了遍歷，并且都以UIO序列
為特征序列來(lái)驗(yàn)證每次變遷的末狀態(tài)，所以?xún)煞N算法生成的
測(cè)試序列錯(cuò)誤覆蓋率相似。并且，基于收斂邊算法得到的測(cè)
試序列中還包含了對(duì)超時(shí)的處理。
4結(jié)束語(yǔ)
隨著我國(guó)高速鐵路的迅速發(fā)展，用于保證運(yùn)輸安全的鐵
路安全通信協(xié)議越來(lái)越重要，它的實(shí)現(xiàn)能否滿(mǎn)足系統(tǒng)交互的
實(shí)時(shí)性、安全性至關(guān)重要。因此實(shí)現(xiàn)完備的鐵路安全通信協(xié)
議一致性測(cè)試不僅要關(guān)注如何生成更短的測(cè)試序列，更應(yīng)該
關(guān)注安全性、實(shí)時(shí)性方面的測(cè)試。本文在生成鐵路信號(hào)安全
協(xié)議一致性測(cè)試序列時(shí)，不僅考慮到了測(cè)試序列的效率問(wèn)題，
更兼顧了安全通信協(xié)議對(duì)實(shí)時(shí)性的要求。
參考文獻(xiàn)：
【1】1張曙光．CTCS-3級(jí)列控系統(tǒng)總體技術(shù)方案【M】．北京．中國(guó)鐵道出版
社．2008．
【2】ISO／IEC 9646·2．Information Processing Systems．Open system interconnecfion，
OSI conformance testing methodology and flamework，
Part 2：Abstract test suite SlⅪCification[S]．1994．
【3】Derderian K，Hierons R M，Harmun M，et ai．Automated unique
input output sequence generation for conformance testing of
FSMs[J]．Computer Journal。2006，49(3)：331-344．
【4】葛猛。趙保華．BGP-4協(xié)議一致性測(cè)試序列生成【J】．計(jì)算機(jī)工程與
應(yīng)用，2005，41(22)：108．1lO．
【5】魏仰蘇，孟兆航，舒挺．通信協(xié)議一致性測(cè)試序列自動(dòng)生成算法研
究【J】．計(jì)算機(jī)工程與設(shè)計(jì)，2007(10)：2312-2315．
【6】6 Aho A V，Dahbura A T，Lee D，et a1．An optimization technique
for protocol conformance test generation based 011 UIO se—
quence and rural Chinese postman tom[J]．IEEE Transactions
Oil Communications．1991。39(11)．
【7】Xie Lei。Wei Jiao-long。Zhu Guang—xi．An improved FSM-basod
method for BGP protocol[J]．IEEE，2008(6)：557·561．
【8】北京全路通信信號(hào)研究設(shè)計(jì)院．鐵路信號(hào)安全協(xié)議-I(報(bào)批
稿)【s1．2009—08．
【9】9滕竹．基于EFSM的CBTC通信協(xié)議一致性測(cè)試的研究【D】．北京：
北京交通大學(xué)，2008．

網(wǎng)友評(píng)論 more

交通安全論文最新內(nèi)容

02-21

合肥市加強(qiáng)混凝土攪拌…

11-01

基于人工神經(jīng)網(wǎng)絡(luò)的交…

10-08

關(guān)于對(duì)環(huán)境監(jiān)測(cè)數(shù)據(jù)審…

10-08

軌道交通項(xiàng)目環(huán)境影響…

10-08

道路工程環(huán)境影響評(píng)價(jià)…

10-08

高速公路輻射環(huán)境監(jiān)測(cè)…

07-22

芻議鐵路選線設(shè)計(jì)樹(shù)立…

07-22

鐵路通信塔安全監(jiān)測(cè)系統(tǒng)

交通安全論文熱點(diǎn)內(nèi)容

29871

淺談道路危險(xiǎn)貨物運(yùn)…

25517

熱門(mén)

城市軌道交通在國(guó)外…

22521

熱門(mén)

淺談如何做到安全文…

21336

熱門(mén)

道路交通事故成因分…

19555

熱門(mén)

疲勞駕駛的產(chǎn)生原因…

17672

熱門(mén)

人為因素對(duì)船舶的安…

15662

熱門(mén)

淺析地鐵中的安全問(wèn)題

14967

熱門(mén)

論城市軌道交通安全…

相關(guān)內(nèi)容

鐵路工程全液壓可視可控旋…

城際鐵路設(shè)計(jì)規(guī)范

高速鐵路路基工程施工質(zhì)量…

高速鐵路軌道工程施工質(zhì)量…

鐵路聲屏障聲學(xué)構(gòu)件【2024…

創(chuàng)想安科網(wǎng)站簡(jiǎn)介會(huì)員服務(wù)廣告服務(wù)業(yè)務(wù)合作提交需求會(huì)員中心在線投稿版權(quán)聲明友情鏈接聯(lián)系我們

<rt id="yqusv"><tbody id="yqusv"></tbody></rt>

<style id="yqusv"></style>

<noscript id="yqusv"></noscript>