黄天福
- 作品数：3 被引量：19H指数：2
- 供职机构：南京工业大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 颜色Petri网一种专有协议的描述和验证被引量：4
- 2007年
- 介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。
- 黄天福白光伟
- 关键词：有色PETRI网颜色PETRI网
- 基于改进协议机制的防ARP欺骗方法被引量：15
- 2008年
- 地址解析协议(ARP)是建立在友好通信、充分信任基础上的协议,因此,很容易受到攻击。该文介绍ARP协议工作机制、协议安全漏洞和当前已经提出的针对ARP欺骗的对策,并指出这些方法的不足之处。提出一种采用改进协议机制的方法用于防止ARP欺骗,该方法可以有效地减少利用ARP协议的网络欺骗攻击。
- 黄天福白光伟
- 关键词：地址解析协议ARP欺骗
- 颜色Petri网一种专有协议的描述和验证
- 介绍了我们在一个项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模,分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协...
- 黄天福白光伟
- 关键词：有色PETRI网颜色PETRI网网络安全链路层协议
- 文献传递
