位置：成果数据库 > 期刊 > 期刊详情页
基于CSP和RSL的协议形式化描述技术研究
  • ISSN号：1000-7180
  • 期刊名称：《微电子学与计算机》
  • 时间：0
  • 分类：TP393.04[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]南通大学计算机科学与技术学院
  • 相关基金：国家自然科学基金项目(60773041);; 江苏省高校自然科学重大基础研究项目(07KJA51007);; 江苏省高校自然科学研究计划项目(05KJD520166);; 江苏省高校自然科学基础研究项目(08KJB520009);; 南通市应用研究计划项目(K2007013);; 2005年南通大学博士启动基金项目;; 江苏省高校“青蓝工程”
作者： 顾翔[1], 邱建林[1]
关键词： 形式化描述技术, 通信顺序进程, RSL, formal description technoloty（FTD）, CSP, RSL
中文摘要：

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.

英文摘要：

Protocols formal description is the kernel technology of protocol engineering.It is foundation of protocols development.This paper firstly summarizes some current technologies of FDT.Then two technologies are studied:one is CSP(Communicating Sequtential Processes),and another is RSL(RAISE Specification Language).Examples are also presented to show how to use them to describe AB protocol.

同期刊论文项目
基于Agent和无线传感器网络的普适计算情景感知技术研究
期刊论文 135
同项目期刊论文
基于空间关系特征的未知恶意代码自动检测技术研究
Real-time method for DDoS attacks detection based on self-similarity and wavelet analysis
恶意代码传播效果的控制技术研究
一种基于双重流传输特性的P2P流量检测方案
基于物联网/传感网的智能节能系统
基于网格服务的分布式数据挖掘
一种基于Echord协议的网格资源发现方法
基于热点区域场景的传感器网络拓扑控制算法
基于移动Agent的无线传感器网络拓扑发现机制
内核入侵隐藏技术的研究与实现
基于信誉度集对分析的WSN安全数据融合
无线传感器网络中一种信标节点可迁移的协作定位方法
机器学习在P2P流量检测中的研究
一种基于ARMA的WSN非均衡分簇路由算法
面向三维的无线传感器网络覆盖增强算法
一种基于开放式网络环境的模糊主观信任模型研究
基于Agent的网格安全跨域扩展研究
无线多媒体传感器网络中基于多类传感器信息的分布式视频处理
一种基于Agent的Ad hoc网络路由算法
基于分布式混合数据挖掘的电信客户流失分析
多媒体传感器网络中一种多路径数据传输机制
物联网环境下智能插座的设计
动态环境下的种群扩散粒子群优化算法
基于生命期划分的无线传感器网络节能策略
基于容忍覆盖区域的无线传感器网络节点调度算法
面向多媒体传感器网络的视频压缩新算法
P2P电子商务环境下的动态安全信任管理模型
基于改进势场的有向传感器网络路径覆盖增强算法
Web Services中基于信任的动态访问控制
An efficient preconditioning technique for numerical simulation of hydrodynamic model semiconductor
Modeling multi-mobile agents system based an coalition signature mechanism using UML
An adaptive remeshing technique based on hierarchical error estimates for simulation of semiconducto
基于移动Agent的双层卫星网动态路由算法
一种基于小波卡尔曼滤波的MPLS流量预测算法
Improvement of a multi-party certified email protocol
能量有效的无线传感器网络可信路由协议
非均匀分布下无线传感器网络节点调度机制
基于缝合技术的图像传感器网络消除冗余数据方案
多射频多信道Ad Hoc网络跨层功率分配
RBAC中基于信任的细粒度访问控制研究
一种基于多移动Agent的对等计算动态协作模型
新型分布式散列表——Bchord
基于移动Agent的无线传感器网络中间件
基于移动代理和信任机制的网格作业管理
一种基于分组的P2P网络安全路由算法
基于一种新的激励机制的P2P系统的UML建模
光线跟踪程序PBRT的并行化及性能优化
DDoS Detection based on Wavelet Kernel Support Vector Machine
基于网格环境下的信任评估的研究
基于父亲树的无线传感器网络路由协议
基于不确定性推理的上下文感知数据处理模型
基于CC2431的无线传感器网络节点的设计
无线传感器网络入侵检测系统研究综述
一种移动P2P网络环境下的动态安全信任模型
基于移动sink的无线传感器网络数据采集方案
无线多媒体传感器网络中能量高效的采样与传输方法
适应性的混合卫星通信网络MAC协议
一种基于NTRU算法的秘密共享方案
自适应参数的网络异常流量检测方法
基于模糊集合的网格资源访问的信任机制
RBAC中条件周期特性角色激活约束研究
基于CC2420与ZigBee的无线多媒体传感器网络通信机制
周期时间特性的角色访问控制
卫星网络链路传输协议的性能分析
基于主元分析和支持向量机的异常检测
基于动态模型的NTRU算法
基于改进CUSUM算法的网络异常流量检测
基于隶属云理论的主观信任评估模型研究
一种基于全局复合评价算法的Super Peer选择机制
几种人类生物网络的自相似性实证研究
基于链接聚类的代谢网络社团结构研究
基于极端途径的生化网络模块化分析
无线Ad hoc分层攻击仿真模型
Petri网在代谢网络模块化分析中的应用
一种基于机器学习的P2P网络流量识别方法
无线传感器网络TBCCA树形分簇算法
普适计算环境下基于移动Agent的分布式交互方法
基于自相似检测DDoS攻击的小波选择
一种支持多QoS约束的Ad hoc路由协议
基于云安全环境的蠕虫传播模型
基于微粒群优化的有向传感器网络覆盖增强算法
一种基于自适应半径调整的无线传感器网络覆盖控制算法
随机分布下有向传感器网络强部署策略
一种基于位置和拓扑控制的无线传感器网络路由算法
基于蚁群优化的多媒体传感器网络实时视频流分发策略
面向无线多媒体传感器网络的移动Sink路径规划
无线传感器网络中基于多属性决策的数据转发算法
无线传感器网络中一种能量有效的数据存储方法
基于方差分析和支持向量机技术的P2P流量检测
一种基于能量感知无线传感器网络多路径路由机制
基于移动代理的天基综合信息网络管理研究
一种新的P2P安全积分机制
Novel analysis and improvement of Yahalom protocol
Research on tasks schedule and data transmission of video sensor networks based on intelligent agents and intelligent algorithms
基于可信敏感度的网格信任协商策略及其应用分析
基于普适计算环境的三维空间RSSI位置感知研究
基于本体的上下文感知中间件框架
基于会话的局域网P2P流量识别方法的研究
Key technologies of new malicious code developments and defensive measures in communication networks
Secure coverage-preserving node scheduling scheme using energy prediction for wireless sensor networks
基于Agent和XML的普适计算上下文集成框架
Distributed GEP query optimization on grid service
Method for replica creation in data grids based on complex networks
多关联性虚拟现实系统的设计与实现
QoS routing based on mobile agent for LEO satellite IP networks
基于属性约简的粗糙集海量数据分割算法研究
一种基于灰色系统理论的主观信任评估方法
一种基于SOA的网格任务调度框架
基于DM6446的P2P机顶盒OSD研究与实现
Load balancing routing for single-layered satellite networks
P2P-VoD系统中自适应大小的滑动窗口模型研究
一种基于网格服务的分布式GEP—BP分类算法
Structure splitting framework for data-layout optimization
DTN网络中Ferry节点的MSSL路由算法研究
基于NS2的Walker星座卫星网仿真的研究
Grid authentication from identity-based cryptography without random oracles
P2P network traffic control mechanism based on global evaluation values
Improved multipath muting with WNN for the open networks
基于NS-2的航空器通信仿真模块的设计与实现
一种基于PKI的P2P身份认证技术
Malicious code passive propagation model and vaccine distribution model of P2P networks
Grid trust based on pre-measure and two-level reputation
期刊信息
  • 《微电子学与计算机》
  • 中国科技核心期刊
  • 主管单位:中国航天科技集团公司
  • 主办单位:中国航天科技集团公司第九研究院第七七一研究所
  • 主编：李新龙
  • 地址：西安市雁塔区太白南路198号
  • 邮编：710065
  • 邮箱：mc771@163.com
  • 电话：029-82262687
  • 国际标准刊号：ISSN：1000-7180
  • 国内统一刊号：ISSN：61-1123/TN
  • 邮发代号:52-16
  • 获奖情况:
  • 航天优秀期刊,陕西省优秀期刊一等奖
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:17909