-
题名基于模型转换的通信协议自动分析
被引量：1
- 1
-
-
作者
陈海波
赵伟华
-
机构
浙江理工大学理学院
杭州电子科技大学计算机学院
-
出处
《机电工程》
CAS
2009年第5期48-51,共4页
-
基金
浙江省教育厅资助项目(20060579)
-
文摘
针对目前网络通信相关领域中协议分析程序复用程度不高且算法需要随协议版本变化不断修正的情况,在模型转换技术基础上设计了一种有限自动机模型到UML模型的转换算法,根据此算法开发了一个协议自动分析程序,能够实现使用一套程序同时进行多种类型的通信协议分析,且算法不会随协议版本变化而变化。研究结果表明,该算法提高了协议分析程序的复用性,在GPS通信系统实例中得到了应用。
-
关键词
模型转换
通信协议自动分析
统一建模语言
-
Keywords
model transform
protocol automatic analysis
united modeling language（UML）
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名数据库安全协议研究与实现
被引量：1
- 2
-
-
作者
凃云杰
-
机构
呼伦贝尔学院计算机学院
-
出处
《现代电子技术》
北大核心
2016年第21期116-119,共4页
-
基金
内蒙古自治区高等学校科学研究项目:云背景下的数据库安全性研究(NJZY14308)
-
文摘
鉴于Cache数据库多种访问方式,利用Antlr语法产生工具完成Cache对象脚本语法和SQL脚本语法向中间表示语言的转换以便于设置统一的审计规则。该系统的主要功能包括Cache协议分析和Cache对象脚本语法转换等。在实现过程中用人工方法编写和收集大量测试用例,确定了协议分析模块能够起到对Cache数据库进行安全审计的作用。
-
关键词
通信协议分析
数据库安全审计
Cache对象脚本语言
cache协议分析
-
Keywords
communication protocol analysis
database security audit
Cache object script language
Cache protocol analysis
-
分类号
TN915.08
[电子电信—通信与信息系统]
-
