:提出安全協(xié)議本質(zhì)上是協(xié)議主體利用密碼學(xué)手段通過挑戰(zhàn)一響應(yīng)來對協(xié)議另一方的存在做出判斷,并同 時(shí)完成對一些數(shù)據(jù)例如會(huì)話密鑰等的協(xié)商。依據(jù)這種思想,結(jié)合認(rèn)證邏輯中的一些成果,提出了一種新的安全協(xié) 議關(guān)聯(lián)性的分析方法,該方法對協(xié)議認(rèn)證目標(biāo)進(jìn)行了基于線空間模型語義的定義,并將關(guān)聯(lián)性分析歸結(jié)為Strand 的存在關(guān)系和Strand參數(shù)一致性的分析問題。
標(biāo)簽: 協(xié)議 安全協(xié)議 密碼
上傳時(shí)間: 2015-11-09
上傳用戶:zhangjinzj
現(xiàn)代雷達(dá)系統(tǒng)日益變得復(fù)雜,難以用簡單直觀 的分析方法進(jìn)行處理,往往需要借助計(jì)算機(jī)來完成 對系統(tǒng)的各項(xiàng)功能和性能的仿真。利用計(jì)算機(jī)來進(jìn) 行雷達(dá)系統(tǒng)的仿真具有方便、靈活以及經(jīng)濟(jì)的特點(diǎn) 而 Matlab 提供了強(qiáng)大的仿真平臺(tái),可以為大多數(shù)雷 達(dá)系統(tǒng)的仿真提供方便快捷的運(yùn)算。以典型的雷達(dá) 為例,它主要由天線、發(fā)射機(jī)、接收機(jī)、信號(hào)處理 機(jī)、伺服系統(tǒng)和終端設(shè)備等部分構(gòu)成。本文主要討 論的是雷達(dá)信號(hào)處理部分,并結(jié)合某脈沖壓縮雷達(dá) 信號(hào)處理系統(tǒng)的實(shí)例來說明Matlab在雷達(dá)信號(hào)處理 系統(tǒng)仿真中的應(yīng)用。
標(biāo)簽: 現(xiàn)代雷達(dá)
上傳時(shí)間: 2015-11-25
上傳用戶:ikemada
梁肇新《編程高手箴言》 精華 本書是作者十余年編程生涯中的技術(shù)和經(jīng)驗(yàn)的總結(jié)。內(nèi)容涵蓋了從認(rèn)識(shí)CPU、Windows運(yùn)行機(jī)理、編程語言的運(yùn)行機(jī)理,到代碼的規(guī)范和風(fēng)格、分析方法、調(diào)試方法和內(nèi)核優(yōu)化,內(nèi)有作者對許多問題的認(rèn)知過程和透徹的分析,以及優(yōu)秀和精彩的編程經(jīng)驗(yàn)。
標(biāo)簽: Windows CPU 編程 運(yùn)行
上傳時(shí)間: 2013-12-10
上傳用戶:秦莞爾w
豪杰解霸的創(chuàng)始人梁肇新先生的一本佳作--《編程高手箴言》。本書是作者十余年編程生涯中的技術(shù)和經(jīng)驗(yàn)的總結(jié)。內(nèi)容涵蓋了從認(rèn)識(shí)CPU、Windows運(yùn)行機(jī)理、編程語言的運(yùn)行機(jī)理,到代碼的規(guī)范和風(fēng)格、分析方法、調(diào)試方法和內(nèi)核優(yōu)化,內(nèi)有作者對許多問題的認(rèn)知過程和透徹的分析,以及優(yōu)秀和精彩的編程經(jīng)驗(yàn)。
標(biāo)簽: Windows CPU 編程 運(yùn)行
上傳時(shí)間: 2016-02-08
上傳用戶:sevenbestfei
【實(shí)驗(yàn)名稱】遞歸子程序分析器的設(shè)計(jì)與實(shí)現(xiàn) 【實(shí)驗(yàn)?zāi)康暮鸵蟆? 設(shè)計(jì)、編制,調(diào)試一個(gè)典型的語法分析程序,實(shí)現(xiàn)對如下的遞歸子程序語法的分析,進(jìn)一步掌握常用的語法分析方法。 【實(shí)驗(yàn)內(nèi)容】 ① 本分析程序所分析的文法如下: G[E]: E->eBaA A->a|bAcB B->dEd|aC C->e|dC ② 針對上述文法編寫一遞歸子程序分析程序,該程序的輸入是任意符號(hào)串,輸出是本次輸入的符號(hào)串是否是該文法的句子的結(jié)論。 【環(huán)境】 Windows Pc 機(jī),任何版本的c語言 其中還包括java語言實(shí)現(xiàn)的程序
標(biāo)簽: 實(shí)驗(yàn) 分析器 遞歸 程序
上傳時(shí)間: 2013-12-25
上傳用戶:lanhuaying
本課程設(shè)計(jì)是一個(gè)編譯器的設(shè)計(jì),包括詞法分析部分、語法分析部分和中間代碼生成部分。詞法分析部分既詞法分析器的設(shè)計(jì),詞法分析是編譯的基礎(chǔ),執(zhí)行詞法分析的程序稱為詞法分析器,也就是說編譯程序中完成詞法分析任務(wù)段就是詞法分析器。語法分析部分為語法分析器的設(shè)計(jì),采用LR(1)分析方法進(jìn)行語法分析,判斷給出的符號(hào)串是否為該文法識(shí)別的句子。中間代碼生成器部分主要實(shí)現(xiàn)逆波蘭式的生成,將用中綴式表示的算術(shù)表達(dá)式轉(zhuǎn)換為用逆波蘭式表示的算術(shù)表達(dá)式,并計(jì)算用逆波蘭式來表示的算術(shù)表達(dá)式的值。
標(biāo)簽: 編譯器
上傳時(shí)間: 2014-05-30
上傳用戶:youke111
實(shí)現(xiàn)信號(hào)的KDDA映射變換,KDDA屬于線性子空間分析方法LDA的改進(jìn)算法,采用核方法實(shí)現(xiàn)映射
上傳時(shí)間: 2014-12-22
上傳用戶:sy_jiadeyi
這是算法設(shè)計(jì)上面的部分答案,每個(gè)例子對應(yīng)著一種算法分析方法
標(biāo)簽: 算法設(shè)計(jì) 分
上傳時(shí)間: 2016-05-10
上傳用戶:zhouchang199
IF-ELSE條件語句的翻譯程序設(shè)計(jì)(簡單優(yōu)先法、輸出三地址表示) 要求完成的主要任務(wù): (包括課程設(shè)計(jì)工作量及其技術(shù)要求,以及說明書撰寫等具體要求) (1) 寫出符合給定的語法分析方法的文法及屬性文法。 (2) 完成題目要求的中間代碼三地址表示的描述。 (3) 寫出給定的語法分析方法的思想,完成語法分析和語義分析程序設(shè)計(jì)。
標(biāo)簽: IF-ELSE 翻譯 程序設(shè)計(jì) 地址
上傳時(shí)間: 2016-06-23
上傳用戶:ardager
本文檔主要介紹Q.931協(xié)議基本知識(shí),及在日常的維護(hù)中使用HDLCMON抓取的呼叫消息流程Trace的分析方法,并根據(jù)不同的問題及現(xiàn)象,提供簡單的分析解決方法
標(biāo)簽: 931 文檔 協(xié)議 基本知識(shí)
上傳時(shí)間: 2016-09-30
上傳用戶:冇尾飛鉈
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1