第1題現(xiàn)實(shí)不可計(jì)算的問題中一個(gè)很重要的類叫做P問題,它們由所有在不確定圖靈機(jī)上多項(xiàng)式時(shí)間內(nèi)可解的問題組成。()第2題一個(gè)問題如果不能用多項(xiàng)式時(shí)間算法解決的話,則稱該問題是現(xiàn)實(shí)不可計(jì)算的。()第3題圖靈機(jī)是一種假想的計(jì)算機(jī),它是具有有限讀寫能力并可以做有限并行操作的有限狀態(tài)機(jī)。()第4題消息認(rèn)證就是認(rèn)證消息的完整性,當(dāng)接收方收到發(fā)送方的消息時(shí),發(fā)送方能夠驗(yàn)證收到的消息是真實(shí)的和未被篡改的。()1第5題偽隨機(jī)序列發(fā)生器指使用短的偽隨機(jī)序列x擴(kuò)展成較長的真隨機(jī)序列y。()第6題一個(gè)密鑰一般可能會(huì)經(jīng)歷密鑰產(chǎn)生、密鑰分發(fā)、密鑰啟動(dòng)/停用、密鑰替換/更新、密鑰撤銷、密鑰銷毀幾個(gè)階段。()第7題一個(gè)問題如果不能用多項(xiàng)式時(shí)間算法解決的話,則稱該問題是現(xiàn)實(shí)可計(jì)算的。()第8題下列關(guān)于NPC問題描述正確的是()。ANPC中的所有問題都是現(xiàn)實(shí)不可計(jì)算的BNPC問題,代表了NP類問題中最困難的問題C一大批著名的難題,都是NPC問題D如果能夠找到一個(gè)確定性多項(xiàng)式時(shí)間算法解決NPC中的某個(gè)問題,將會(huì)是計(jì)算機(jī)科學(xué)的一個(gè)重大成果正確答案：BCD第9題圖靈機(jī)作為應(yīng)用廣泛的計(jì)算模型,具備的重要特點(diǎn)是()。A資源利用率高B在本質(zhì)上類似于現(xiàn)代的計(jì)算機(jī)C數(shù)學(xué)模型很簡單D?無中心化結(jié)構(gòu)正確答案：BC第10題RSA算法中會(huì)用到以下哪些數(shù)學(xué)知識(shí)()。A中國剩余定理B歐拉函數(shù)C費(fèi)馬小定理DS盒正確答案：BC第11題數(shù)字證書包含()信息。A發(fā)送者B公鑰C私鑰D公鑰擁有者正確答案：BD第12題關(guān)于Hash函數(shù)下列描述有誤的是()。A輸入長度固定B輸出長度固定C可用于數(shù)字簽名方案D可用于消息完整性機(jī)制第13題非對(duì)稱加密可以解決信息公開傳送問題,下面是非對(duì)稱加密算法的是()。A凱撒密碼B維吉尼密碼CRSAD仿射密碼第14題下列不屬于密碼算法的是()。ADESBRSACDSADPCI-E第15題在ElGamal密碼中,如果選擇p=?11,生成元α=?2,私鑰為x=?8,則其公鑰為()。A3B4C5D7第16題Vegenère密碼中,密鑰為cat,周期為3,若明文為cipher,則密文為()。AvkpagrBdwvksxCeiijekDpicreh第17題周期換位密碼,周期為4,置換f(1,2,3,4)?=?4,?3,?2,?1,,明文M=canyounuderstand被加密為密文是()。AC＝nyacnuuorsedndatBC=acnyuonuedrsatndCC=canyounuderstandDC＝y(tǒng)nacunuosreddnat第18題如果Hash函數(shù)的函數(shù)值為128位,則對(duì)其進(jìn)行生日攻擊的復(fù)雜度為()。A2的32次方B2的64次方C2的56次方D2的128次方第1題Dolev-Yao模型中,對(duì)攻擊者模型做出的假設(shè)不包括?()A可以竊聽所有經(jīng)過網(wǎng)絡(luò)的消息B可以阻止和截獲所有經(jīng)過網(wǎng)絡(luò)的消息C可以作為合法的主體參與協(xié)議的運(yùn)行D可以分析出密碼系統(tǒng)的缺陷并加以利用第2題消息重放攻擊是指攻擊者利用消息的描述能力,生成誠實(shí)用戶所期望的消息格式并重放,從而破壞協(xié)議安全屬性。()第3題安全協(xié)議的安全屬性有認(rèn)證性、機(jī)密性、不可否認(rèn)性、可驗(yàn)證性、可靠性等。()第4題協(xié)議是指兩個(gè)或兩個(gè)以上的參與者為完成某項(xiàng)特定的任務(wù)而采取的一系列步驟。()第5題下列協(xié)議屬于安全協(xié)議的有()。A密鑰建立協(xié)議B認(rèn)證建立協(xié)議C電子商務(wù)協(xié)議D安全通信協(xié)議正確答案：ABCD第6題協(xié)議環(huán)境中的角色有()。A參與者B攻擊者C可信第三方D通信媒介正確答案：ABC第7題防止消息重放攻擊的一般方法有()。A在發(fā)送的消息中,添加新鮮因子B在消息中添加消息的來源和消息的目的地C避免發(fā)送消息中的消息對(duì)稱性D在消息中添加消息域的類型消息正確答案：ABC第8題以下是Otway-Rees協(xié)議,主體A和B通過可信第三方S建立會(huì)話密鑰KAB。在攻擊過程中,第02步,攻擊者應(yīng)該向A發(fā)送的消息是?()AM,EKAS(NA,M,A,B)BM,EKAS(NA,KAB)CM,EKAS(KAB)DM,EKAS(KAB,NA)第9題下面各種攻擊中,()攻擊不屬于主動(dòng)攻擊。A竊聽B中斷C篡改D偽造第10題以下哪種對(duì)消息處理的方式最容易遭受重放攻擊?()A先簽名后加密A→B:Ekb(Eka?1(Na))B先簽名再加密再簽名A→B:Eka?1(Ekb(Eka?1(Na)))C在消息內(nèi)層中加入新鮮值A(chǔ)→B:Ekb(Eka?1(Na,B))D在消息內(nèi)層中加入身份信息A→B:Ekb(Eka?1(N′a,B))章節(jié)作業(yè)第1題定理證明同證明程序的正確性一樣,協(xié)議可以描述成一系列的規(guī)則Γ,協(xié)議需滿足的性質(zhì)被描述成另一個(gè)公式Φ,然后證明Γ?Φ。()第2題CSP定義事件集合T認(rèn)證事件集合R,T≠R,如果觀察到T中事件的發(fā)生,那么就可以確認(rèn)R中事件也發(fā)生了,表示為TauthenticatesR?tr↑R=??

???tr↑T=??

?。()第3題特別目的的專家系統(tǒng),可從一個(gè)不安全的狀態(tài)出發(fā),并試圖發(fā)現(xiàn)從初始狀態(tài)到這一不安全狀態(tài)是否可達(dá)的,從而說明協(xié)議是否存在漏洞。()第4題安全協(xié)議的形式化分析方法大致可以分為基于邏輯推理方法、基于模型檢測方法、基于歸約安全方法。()第5題CSP分析方法中,自動(dòng)售貨機(jī)VMC,銷售兩種餅干,大餅干2個(gè)硬幣,小餅干1個(gè)硬幣,定義它的事件包括()。Ain1p:投1個(gè)硬幣Bsmall:取出一塊小餅干Ccoin:投幣Dlarge:取出一塊大餅干正確答案：ABD第6題用BAN邏輯的規(guī)則,分析安全協(xié)議的認(rèn)證性,步驟包括()。A由最初的協(xié)議得到理想化協(xié)議B給出協(xié)議目標(biāo)C給出初始假設(shè)D根據(jù)邏輯規(guī)則推理協(xié)議目標(biāo)正確答案：ABCD第7題Kailar邏輯的重要缺陷體現(xiàn)在()。A只能分析協(xié)議的可追究性,不能分析協(xié)議的公平性B在解釋協(xié)議語句時(shí),只能解釋那些簽過名的明文消息C容易產(chǎn)生狀態(tài)爆炸問題D在推理之前需要引入一些初始化假設(shè)正確答案：ABD第8題CSP分析方法中,進(jìn)程的操作P|||Q表示()。A一種外部選擇操作符,它允許在兩個(gè)進(jìn)程事件之間進(jìn)行外部選擇B一種內(nèi)部選擇操作符,它允許在兩個(gè)進(jìn)程之間進(jìn)行非確定性選擇C進(jìn)程P,Q并發(fā)執(zhí)行,并且是與同步集合X中的事件同步執(zhí)行D兩個(gè)進(jìn)程間P,Q的穿插操作,它與并行操作不同,進(jìn)程P和Q并不在任何事件上同步,它們之間完全相互獨(dú)立第9題CSP分析方法中,跡的操作t↑A表示()。A將跡s和t連接在一起,構(gòu)成一個(gè)新的跡B跡t中由事件集合A中事件組成的最大子序列C表示在信道集合C上傳輸?shù)淖畲笙⑿蛄蠨在跡tr上出現(xiàn)的事件集合第10題CSP分析方法中,進(jìn)程VMS=coin→?(choc→VMS|toffee→VMS)表示()。A自動(dòng)售貨機(jī)在投入硬幣后故障B自動(dòng)售貨機(jī)成功的進(jìn)行了一次交易,然后死機(jī)C自動(dòng)售貨機(jī)成功的進(jìn)行了兩次交易,然后死機(jī)D自動(dòng)售貨機(jī)成功出售兩種貨物第11題下列Kailar邏輯的規(guī)則中,()是強(qiáng)弱證明關(guān)系規(guī)則。AA

CanProve

x;

A

CanProve

y

A

CanProve

(x?y)B(S;C

CanProve

y)?(A

CanProve

x)

(S;C

CanProve

y

to

B)?(A

CanProve

x

to

B)

C

A

Receives

m

SignedWith

K?1;x

in

m;A

CanProve

(K

Authenticates

B)

A

CanProve

(B

Says

x)DA

CanProve

(B

Says

x);A

CanProve

(B

IsTrustedOn

x)

A

CanProve

x第12題下列Kailar邏輯的規(guī)則中,()是Sign規(guī)則。AA

CanProve

x;

A

CanProve

y

A

CanProve

(x?y)B(S;C

IsTrustedOn

y)?(A

CanProve

x)

(S;C

IsTrustedOn

y

by

B)?(A

CanProve

x

to

B)

C

A

Receives

m

SignedWith

K?1;x

in

m;A

CanProve

(K

Authenticates

B)

A

CanProve

(B

Says

x)DA

CanProve

(B

Says

x);A

CanProve

(B

IsTrustedOn

x)

A

CanProve

x章節(jié)作業(yè)第1題構(gòu)造公鑰加密方案時(shí),希望達(dá)到的最強(qiáng)的攻擊目標(biāo),是指能夠揭示出加密者的私鑰。()第2題設(shè)計(jì)一個(gè)協(xié)議P時(shí),首先在RO模型,可看成一個(gè)理想模擬環(huán)境,各方共同擁有一個(gè)公開的RandomOracle,證明PR的正確性,然后在實(shí)際方案中用“適當(dāng)選擇”的函數(shù)h取代該Oracle。()第3題構(gòu)造公鑰加密方案時(shí),希望達(dá)到的最強(qiáng)的攻擊目標(biāo),是指以超過二分之一的概率識(shí)別兩個(gè)不同明文對(duì)應(yīng)的密文,或者識(shí)別出給定明文的密文和隨機(jī)字符串。()第4題對(duì)公鑰加密方案的選擇密文攻擊,是指密碼分析員可以有選擇地搜集到某些明文和與之對(duì)應(yīng)的密文的消息,還可以獲得任何密文以及與之對(duì)應(yīng)的明文消息。()第5題數(shù)字簽名方案最強(qiáng)的安全性一般是指適應(yīng)性選擇消息攻擊下的簽名存在性不可偽造性。()第6題可證明安全理論的三大要素困難問題假設(shè)、安全模型、歸約論斷。()第7題數(shù)字簽名既可以實(shí)現(xiàn)消息認(rèn)證又可以實(shí)現(xiàn)身份認(rèn)證功能。一個(gè)安全的數(shù)字簽名系統(tǒng)應(yīng)滿足以下()要求。A收方能夠確認(rèn)或證實(shí)發(fā)方的簽名,但不能偽造B發(fā)方對(duì)所發(fā)出的附有簽名的消息不能否認(rèn)C收方對(duì)收到的簽名消息不能否認(rèn)D第三者可以確認(rèn)收發(fā)雙方之間的消息傳送,但不能偽造這一過程正確答案：ABD第8題在公鑰加密體制中,下面()不是最高的安全性要求。ACPA1BCPA2CCCA1DCCA2正確答案：ABC第9題Alice收到Bob發(fā)給她的一個(gè)文件的簽名,那么簽名驗(yàn)證算法需要Alice選用的密鑰是()。AAlice的公鑰BA