上海市科学技术委员会科研基金(045115006)
- 作品数：5 被引量：6H指数：1
- 相关作者：邵志清王永全宋国新丁志义李更生更多>>
- 相关机构：华东理工大学宁夏大学华东政法学院更多>>
- 发文基金：上海市科学技术委员会科研基金国家自然科学基金上海市哲学社会科学规划课题更多>>
- 相关领域：自动化与计算机技术理学语言文字更多>>
- 基于时间序列分析的Web服务器DDoS攻击检测被引量：6
- 2007年
- 提出了一种基于时间序列分析的DDoS攻击检测方法。该方法利用网络流量的自相似性,建立Web流量时间序列变化的自回归模型,通过动态分析Web流量的突变来检测针对Web服务器的DDoS攻击。在此基础上,通过对报警数据的关联分析,获得攻击的时间和位置信息。实验结果表明:该方法能有效检测针对Web服务器的DDoS攻击。
- 李更生
- 关键词：分布式拒绝服务攻击自回归模型时间序列WEB服务器
- 闭理想与周期零对称BZ-代数
- 2006年
- 引入周期BZ-代数和BZ-代数的周期部分概念,研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果:设(X;*,0)为零对称BZ-代数,P(X)={x∈X:x<∞}。则P(X)为X的闭理想;(零对称BZ-代数)X为周期BZ-代数的充要条件是X中的每一个理想都是闭理想;X/P(X)为非周期P-半单BC I-代数。
- 王永全邵志清张小红
- 关键词：蕴涵闭理想周期零对称BZ-代数
- 无线IP网络的一种容错Agent认证方案
- 2006年
- 提出了一种基于容错Agent的无线网络系统的认证方案。移动代理是无线IP网络中提供基本服务的关键设备,容易成为单一失效点和性能瓶颈,影响无线IP网络系统的可生存性。文中利用冗余技术,建立冗余的代理新机制。在出现故障时,冗余代理继续提供服务,从而有效地提高了系统的可生存性。
- 王永全朱建明邵志清
- 关键词：移动IP可生存性AGENT
- 命令的指称语义在谓词域上的一种表示
- 2008年
- 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
- 丁志义李全德宋国新邵志清
- 关键词：指称语义
- 命令的操作语义在类型系统中的一种表示
- 2006年
- 类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.
- 丁志义宋国新邵志清
- 关键词：操作语义
