一般安全协议模型（GSPM）是以进程演算为基础、结合协议主体知识的逻辑推理而建立起来的一个可以精确刻画安全协议的框架。
基于20个网页-相关网页
一般安全协议模型
General security protocol model
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动