论文研究 基于近场移动支付的中继攻击与PBOC协议安全漏洞分析 .pdf

GBT28458-2012信息安全技术安全漏洞标识与描述规范

为了保障群组通信过程中的内容安全与成员的身份认证，需要一次性会话密钥对通信内容进行加密，密钥建立协议的主要任务是在群组通信开始前完成会话密钥的产生与分发，分为密钥协商协议与密钥传输协议。详细分析了Ha

路由协议安全是网络安全的一个重要组成部分，由于路由协议自身设计的问题，加上路由器IOS的漏洞，使得RIP、BGP、OSPF等协议运行存在会被黑客利用的安全隐患。本文分析了OSPF路由协议当前版本种存在

SIP协议注册劫持攻击的研究，任贵菊，，SIP协议具有易用性、灵活性和可扩展性强等特点，使得它在以软交换为中心的下一代网络（NGN）以及IP多媒体子系统（IMS）中得到了广泛�

安全性和活性是两大基本的系统属性，对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理，发现其缺乏对状态序列的具体约束。针对这一问题，使用对系统动作刻画更完善的行为时序逻辑进行了重定义

针对安全漏洞管理过程中涉及到的威胁等级划分问题,选取了访问途径、利用复杂度和影响程度3组安全漏洞评估要素,采用层次分析法建立安全漏洞等级划分模型,将安全漏洞等级评定为超危、高危、中危和低危4个级别。最

针对可信虚拟平台（trustedvirtualplatform，TVP）迁移协议缺乏有效的安全性验证问题，引入应用π演算对协议流程及安全属性进行形式化建模，并基于其自动化工具ProVerif对协议的弱

基于串空间理论和约束消减方法，提出安全协议可达性分析模型；采用Prolog实现模型自动推理，利用XSB的Java接口实现基于Web的自动分析工具。

网络安全漏洞是当前互联网中不可忽视的问题，本文详细介绍了网络安全漏洞的产生原因，以及针对不同类型漏洞的防范和解决方法。重要的是，通过本文中的实用建议，可以帮助用户有效提升网络安全防范能力，保护个人和企

基于网络的Web漏洞扫描系统的分析与设计，付堂欢，白中英，伴随着计算机技术和网络技术的迅猛发展，互联网在给人们提供便利和创造财富的同时，其上的各种web应用漏洞百出，严重危害企业和用