贵州省科学技术基金(J[2008]2117)
- 作品数：3 被引量：1H指数：1
- 相关作者：龙士工赵梦龙田顺仙更多>>
- 相关机构：贵州大学更多>>
- 发文基金：贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于ATL的KM非否认协议形式化分析
- 2011年
- 研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。
- 田顺仙龙士工
- 关键词：非否认协议形式化分析
- 基于可信度的App-DDoS攻击的分布式流量控制模型被引量：1
- 2009年
- 针对应用层分布式拒绝服务(application layer DDoS,简称App-DDoS)攻击的特点,结合流量控制技术,应用可信度的概念和分布式处理的思想,提出了基于可信度的App-DDoS攻击的分布式流量控制模型。该模型以正常用户的服务请求数据分布规律作为计算可信度的依据,利用多层次结构,在网络拓扑的不同节点上实现流量控制,从而实现了在防御App-DDoS攻击的同时,降低了对网络性能的影响。
- 龙士工赵梦龙
- 关键词：流量控制
- 基于带标记串空间模型的安全协议分析
- 2010年
- 在串空间理论基础上引入了标记模型,扩展了串空间理论.实现了具有类型缺陷的安全协议的分析.本文以RPC协议作为实例,证明改进后的RPC协议,能抵御类型攻击。
- 龙士工
- 关键词：串空间安全协议
