马建峰 卢昱 郝耀辉

密码协议 通用攻击结构 定量分析 写结构 有限状态自动机（FSM） 系统失效 入侵检测 可生存性 配置 安全 容忍入侵 化简 服务 面向服务 自适应 秘密共享 等价类

陕西西安 解放军信息工程大学电子技术学院 西安电子科技大学计算机科学学院 西安电子科技大学教育部计算机网络与信息安... 军械工程学院 陕西西安710071解放军信息工程大学电...