计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
3期
163-166
,共4页
董荣胜%陈大伟%郭云川%古天龙
董榮勝%陳大偉%郭雲川%古天龍
동영성%진대위%곽운천%고천룡
非否认%概率模型检测%PRISM%有限状态机
非否認%概率模型檢測%PRISM%有限狀態機
비부인%개솔모형검측%PRISM%유한상태궤
基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型.使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性.在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率.
基于概率模型檢測技術,建立瞭需要保證ε-公平性的非否認協議的概率模型,根據不同行為將主體建立有限狀態機模型.使用概率模型檢測器PRISM,驗證瞭概率非否認協議的有效性、公平性和時限性.在噁意實體能力和網絡環境等不同情況下,分析瞭破壞協議公平性的概率.
기우개솔모형검측기술,건립료수요보증ε-공평성적비부인협의적개솔모형,근거불동행위장주체건립유한상태궤모형.사용개솔모형검측기PRISM,험증료개솔비부인협의적유효성、공평성화시한성.재악의실체능력화망락배경등불동정황하,분석료파배협의공평성적개솔.
