位置：成果数据库 > 期刊 > 期刊详情页
一种基于πt演算的安全协议建模方法
  • 期刊名称：计算机研究与发展，2010,4,47(4):613-620
  • 时间：0
  • 相关项目：多Agent对抗环境中联盟形成问题的研究
同期刊论文项目
多Agent对抗环境中联盟形成问题的研究
期刊论文 28 会议论文 12
同项目期刊论文
社会网络中基于局部信息的边社区挖掘
基于最大频繁项集的层次性聚类
以图频繁集为基础的核心节点发现
用于社团发现的Girvan-NewMan改进算法
基于权重的马尔可夫随机游走相似度度量的实体识别方法
一个基于复合攻击路径图的报警关联算法
基于部分可观测马尔可夫决策过程的网络入侵意图识别研究
采用动作时序逻辑的Web 服务组合方法
一个基于XCS的同质团队学习模型
Energy Efficient Backoff Hierarchical Clustering Algorithms for Multi-Hop Wireless Sensor Networks.
基于定性多用户偏好的Web 服务选择
采用多Agent的网络攻防仿真模型
用于社团分析的差异性度量方法
多Agent对抗环境下联盟形成的信任模型
分布式任务分配中的一种信誉重连策略
联盟规范系统及其规范能力极限
Strategic Ability Updating in Concurrent Games by Coalitional Commitment.
基于定性多用户偏好的Web服务选择
面向多进程负载均衡的Hash算法比较与分析
基于权重的Jaccard相似度度量的实体识别方法
基于UKF区域交叉定位的WSNs Sink节点动态跟踪算法
TeraPELB：云计算中基于预测的弹性负载均衡算法
基于图的最大频繁项集的生成算法
一种基于攻击序列求解的安全协议验证新算法
一种基于π^t演算的安全协议建模方法
一种流模拟与包模拟结合的新网络模拟技术
一种多核环境中无锁的多进程负载均衡会话保持方案