|
|
计算机科学 2003
基于进程代数的安全协议分析与验证Keywords: 网络攻击安全协议进程代数计算机网络网络安全加密体系 Abstract: processalgebraisthetheoriesforconcurrency.nowthemethodsbasedonprocessalgebrafortheanalysisandverificationofsecurityprotocolsbecomesoneoftheimportantmethodsforthestudyofthesecurityprotocols.inthepaper,weoutlinethesemet
|
