位置：成果数据库 > 期刊 > 期刊详情页
不可否认协议分析的增广CSP方法
  • 期刊名称：韩志耕*，罗军舟，王良民，不可否认协议分析的增广CSP方法，通信学报，29(10): 8～18，20
  • 时间：0
  • 相关项目：大规模网络分布式管理模型的形式化描述、分析与评价
同期刊论文项目
大规模网络分布式管理模型的形式化描述、分析与评价
期刊论文 87 会议论文 44
同项目期刊论文
一种可信可控的网络体系及协议结构
基于多目标粒子群优化的服务选择算法
可控网络中多agent系统信念可达性和收敛速度分析
动态多代理协作联盟的扰动稳定性
基于Mesh结构的网格资源发现机制
一种自管理的轻量化网格平台参考模型
适合大规模网络的一种新型智能网管模型及性能分析
Some Issues on Computer Networks: Architecture and Key Technologies
Deadline guaranteed packet scheduling for overloaded traffic in input-queued switches
Agent-Based Task Representation and Processing in Pervasive Computing Environment
A Novel Spectrum of Epoch Convergent Congestion Control
基于QoS的网格资源管理
具有QoS保证的服务资源联合分配与管理
面向网络管理知识获取的一种序列模式挖掘新算法
基于Petri网的Web个性化服务
一个公平的多方不可否认协议
Dynamic Scheduling of Multi-agent in Agent-based Distributed Network Management
基于挑战-响应的安全协议分析
Analysis of Security Protocols Based on Challenge-Response
An Efficient Packet Scheduling Algorithm With Deadline Guarantees for Input-Queued Switches
Implementation of Learning Path in Process Control Model
Dynamic Multi-resource Advance Reservation in Grid Environment
A Trust Degree Based Access Control in Grid Environment
A Clustering Analysis and Agent Based Trust Model in Grid Environment Supporting Virtual Organizatio
基于T-不变量消除的Petri网合法变迁引发序列判定算法
基于多Agent系统网管模型的形式化建模
基于颜色Petri网的多agent动态调度建模与分析
基于合作博弈的移动代理网管任务协作模型
一种交叉点小缓存CICQ交换机高性能调度算法
不可否认协议时限性的形式化分析
基于嵌套EMD的钓鱼网页检测算法
多方不可否认协议时限性分析与改进