位置：成果数据库 > 期刊 > 期刊详情页
基于Colored Petri网的安全协议描述和验证
  • ISSN号：1002-137X
  • 期刊名称：计算机科学, Vol.32 （3）,2006待发表
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：内蒙古大学
  • 语言：中文
  • 相关项目：下一代网络协议的形式验证和测试方法的研究
作者： 刘靖|叶新铭|
同期刊论文项目
下一代网络协议的形式验证和测试方法的研究
期刊论文 26
同项目期刊论文
慢速网络下一种分布式数据库数据复制机制与应用
IPv6邻居发现协议的一致性测试
基于时间特征的网络流量预测模型
网页优化策略的模糊C均值(FCM)聚类算法研究
WTML:基于XML的Web应用测试脚本语言
Web性能测试中事务时间的测量
安全Petri网位置不变式的一种生成算法
基于相同形式模型的协议测试方法研究
Web性能测试回放浏览器设计、实现与比较
基于XML的协议一致性测试系统的设计与实现
边界网关协议BGP4 的一致性测试研究
下一代网络协议一致性测试执行系统的实现
一种下一代路由协议测试框架及其实现
On reachability graphs of Petri nets
TTCN-3编译系统的语法分析自动工具YACC的实现
基于SDL和MSC模型的一致性测试生成方法
自动产生TTCN测试套以及对RIP协议的应用
基于CEFSMs部分叉乘产生协议TTCN测试例的探讨
测试说明语言TTCN-3的新特性
MSC时间表示方法与UML序列图结合建模
基于混合小生境人工免疫系统的流量矩阵估测算法
具有移动感知能力的MIPv6访问控制方法
一种实现TTCN-3测试系统TCI-CH接口的方法
用路由软件组建BGP4＋协议一致性测试平台
基于Petri网的测试路径选择标准
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227