计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
5期
16-17,75
,共3页
网络安全协议%BAN逻辑%演化计算
網絡安全協議%BAN邏輯%縯化計算
망락안전협의%BAN라집%연화계산
文章以演化计算为工具,以BAN逻辑为基本的推理准则,在第一阶段随机搜索候选协议,然后在第二阶段通过冗余协议约简方案得出优化的协议.两阶段设计方案可以自动生成各种需求的两方或三方通信协议,并且广泛支持各种加密方法.通过两阶段的生成和过滤,我们的方法可以实现较大规模网络安全协议的自动化设计,例如三方密钥分配协议等.
文章以縯化計算為工具,以BAN邏輯為基本的推理準則,在第一階段隨機搜索候選協議,然後在第二階段通過冗餘協議約簡方案得齣優化的協議.兩階段設計方案可以自動生成各種需求的兩方或三方通信協議,併且廣汎支持各種加密方法.通過兩階段的生成和過濾,我們的方法可以實現較大規模網絡安全協議的自動化設計,例如三方密鑰分配協議等.
문장이연화계산위공구,이BAN라집위기본적추리준칙,재제일계단수궤수색후선협의,연후재제이계단통과용여협의약간방안득출우화적협의.량계단설계방안가이자동생성각충수구적량방혹삼방통신협의,병차엄범지지각충가밀방법.통과량계단적생성화과려,아문적방법가이실현교대규모망락안전협의적자동화설계,례여삼방밀약분배협의등.
