?? 收入證明技術資料

?? 資源總數:868
?? 源代碼:717
?? 電路圖:1

?? 收入證明全部資料 (868個)

改進的快速SPIHT 算法.針對原算法的不足引入了“最小閾值”和“最小輸出位”,同時改變了原算法的掃描順序,降低了算法的復雜程度,并使其更有利于并行優化處理。實驗證明,改進后的算法減少了編解碼過程中的...

??

提出了Strand空間模型中證明安全協議的一個新思路,它從安全密鑰的概念出發,參照基于理想概念的 證明方法,得出證明所需的預備結論,從而對協議的秘密屬性與認證屬性進行證明。此外,還給出了一個針對 ...

??