-
题名一种基于进程验证的Petri网可达性判定方法
被引量：11
- 1
-
-
作者
于枫
罗军舟
李伟
王鹏
-
机构
东南大学计算机科学与工程学院
江苏科技大学计算机科学与工程学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第2期288-299,共12页
-
基金
国家自然科学基金项目(60773103
60903161
+5 种基金
60903162)
国家"九七三"重点基础研究发展规划项目基金(2010CB328104)
高等学校博士学科点专项科研基金(200802860031)
江苏省自然科学基金重点项目(BK2008030)
江苏省网络与信息安全重点实验室(BM2003201)
计算机网络和信息集成教育部重点实验室(93K-9)资助~~
-
文摘
为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.
-
关键词
PETRI网
可达性判定
Petri网进程
进程验证
-
Keywords
Petri net
reachability determining
process of Petri net
process verification
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名驱动模式的Windows进程合法性验证
被引量：2
- 2
-
-
作者
钱涛
郑扣根
-
机构
浙江大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第12期3398-3399,3402,共3页
-
文摘
为了避免Windows平台上的恶意进程破坏系统资源,提出了通过拦截Windows进程的创建过程,并检查进程执行文件的路径来验证进程是否合法的方法。该方法以软件驱动的方式运行在系统内核态,并结合使用路径树模型来提高进程合法性验证的效率。通过该方法可以有效地拦截进程的创建过程,并验证进程执行文件路径的合法性。系统从而能够在恶意进程完成创建之前,杀死恶意进程,避免系统资源遭受破坏。
-
关键词
进程合法性验证
进程创建过程
内核态
路径树
-
Keywords
process validation
process creation
kernel mode
path-tree
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
