首页 > 论文中心 > 网络攻击过程的形式化描述方法研究

网络攻击过程的形式化描述方法研究

打印

在线阅读下载PDF 导出详情

摘要 　　　　下面采用有限状态自动机理论对SYN－Flooding攻击等一些典型的入侵过程进行形式化描述,下面采用有限状态自动机对一些典型的入侵过程进行描述,这样主机A建立了与服务器B的连接

DOI 7dm8z10e4n/2436278

作者 admin

机构地区不详

出处《未知》未知

关键词形式化描述描述方法方法研究

分类 [自动化与计算机技术][]

出版日期 2019年03月02日（中国Betway体育网页登陆平台首次上网日期，不代表论文的发表时间）

相关文献

1李大伟;张守林.协议形式化描述与一致性验证研究.计算机科学与技术,2010-04.
2王勇红;郑增国;项梅灵.基于自然推演下描述逻辑VL的形式化推理.教育学,2017-03.
3袁志斌.软件开发的形式化方法.通信与信息系统,2008-07.
4杨文波.研究汉语韵母拼合顺序的形式化推导方法.高等教育学,2012-05.
5徐阳.基于B方法的UML类图形式化研究.船舶与海洋工程,2010-02.
6.哲学中的形式化.哲学理论,2011-04.
7刘述忠;浮德峰;孙卫东.新一代商业银行业务及其形式化描述.金融学,2015-06.
8孙元月.教学模式不能形式化.文化科学,2009-02.
9贾健;李瑞杰.实质故意形式化检讨.政治学,2017-05.
10卿显堂.副词“尽情”的形式化标志.汉语,2003-03.

相关推荐

同分类资源更多

相关关键词

形式化描述描述方法方法研究

返回顶部