• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
1. 工作流过程建模中的形式化验证技术 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;Zhou Jiantao[1];Shi Meilin[2];Ye Xinming[3]

第一作者:周建涛

作者机构:[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,呼和浩特10021;[叶新铭]内蒙古大学计算机学院,呼和浩特;[史美林]清华大学计算机科学与 更多

来源:计算机研究与发展,2005,Vol.42,Issue.1

基金:国家自然科学基金项目; 国家"八六三"高技术研究发展计划基金项目;国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:13

知网综合影响因子:1.654

知网复合影响因子:2.491

关键词:工作流;过程建模;验证;Petri网;合理性;化简

摘要:工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模 更多

2. 基于Petri网的移动IPSec快速切换的建模与分析 期刊论文 认领 增刊

作者:王燕;李华;周建涛

外文作者:Wang Yan, Li Hua, and Zhou Jiantao (College of Computer Science, Inner Mongolia University, Huhhot 010021)

第一作者:王燕

作者机构:[王燕;李华;周建涛]内蒙古大学计算机学院

来源:计算机研究与发展,2012,Issue.S2

基金:国家自然科学基金项目(61163011);内蒙古自然科学基金项目(2011MS0912)

知网综合影响因子:1.654

知网复合影响因子:2.491

关键词:移动IPSec;快速切换模型;Petri网;攻击模型;

摘要:使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧 更多

更新时间:Mar 28, 2019
TOP