位置：成果数据库 > 期刊 > 期刊详情页
基于CSP方法的移动自组织网络认证协议TAM的分析与改进
  • ISSN号：1000-436X
  • 期刊名称：通信学报
  • 时间：2013.8.10
  • 页码：58-66
  • 分类：TN929.5[电子电信—通信与信息系统;电子电信—信息与通信工程] TN915.04[电子电信—通信与信息系统;电子电信—信息与通信工程]
  • 作者机构：[1]北京邮电大学计算机学院, [2]中国科学院信息工程研究所
  • 相关基金：国家自然科学基金资助项目(61100181,61070186,61100186)~~
  • 相关项目：面向信息流完整性的量化评估模型与技术研究
作者： 刘礼才, 殷丽华, 郭云川, 孙燕|
关键词： 移动自组织网络, 认证协议, 安全协议分析, 通信顺序进程, TAM
中文摘要：

针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题,提出了采用基于通信顺序进程(CSP,communicating sequential process)和模型检测的协议分析方法,对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范;然后利用模型检测工具FDR验证了TAM的CSP进程,结果表明TAM不满足认证性和机密性安全规范;最后对TAM进行了改进并检验,结果表明改进后的TAM满足安全目标,实验表明与TAM相比,改进的TAM在合理的簇规模情况下增加可接受的额外开销。

同期刊论文项目
面向信息流完整性的量化评估模型与技术研究
期刊论文 41 会议论文 11 获奖 4 著作 1
面向物联网实体搜索的安全信任机制及隐私保护方法研究
期刊论文 3
面向系统确保的安全属性计算模型与评估方法研究
期刊论文 22 会议论文 16
同项目期刊论文
TOWARDS FORMAL SECURITY ANALYSIS OF DECENTRALIZED INFORMATION FLOW CONTROL POLICIES
Analysis of attack graphs based on network flow method
基于良基语义的安全策略表达与验证方法
基于ptSPA的概率时间信息流安全属性分析
基于网络流的攻击图分析方法
面向信息流的安全模型与评估综述
A Framework of Evaluation Location Privacy in Mobile Network
Optimal mining on security labels for decentralized information flow control
Methods for optimal eliminating cycles in information flow of authorization policies
一种面向移动计算的机密性与完整性模型
访问控制策略中信息流的最优化去环方法
僵尸网络综述
基于演化博弈论的功率控制和垂直切换研究
基于完备抽象解释的性质强保留抽象研究
基于上下文定界的递归队列并发程序可达性分析
ASP Based Property Veri&#12;cation of Communication Protocols Described by CSP<br />
Spatiotemporal Access Model Based on Reputation for the Sensing Layer of the IoT
基于ASP的CSP进程描述与组合研究
面向信息流的安全模型与评估综述
A novel logic-based automatic approach to constructing compliant security policies
基于广义污点传播模型的操作系统访问控制
多级安全中敏感标记的最优化挖掘
AACF:基于逻辑的非单调授权与访问控制框架
Analysis for probabilistic and timed information flow security properties via ptSPA
COMPARISON OF MEASURING INFORMATION LEAKAGE FOR FULLY PROBABILISTIC SYSTEMS
Re-defining Information Security From CIA to CACA
面向属性计算的转义性计算研究
安全多执行机制的无干扰性研究
Summarization of Boolean satisfiability verification
一种面向移动计算的机密性与完整性模型
一种基于马尔可夫博弈的能量均衡路由算法
基于关键迹和ASP的CSP模型检测
基于ASP及稳定失败语义的CSP模型检测
基于MSP430单片机的低成本水声modem设计
物联网环境下的信任机制研究
期刊信息
  • 《通信学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国通信学会
  • 主编：杨义先
  • 地址：北京市丰台区成寿寺4路11号邮电出版大厦8层
  • 邮编：100078
  • 邮箱：
  • 电话：010-81055478 81055481
  • 国际标准刊号：ISSN：1000-436X
  • 国内统一刊号：ISSN：11-2102/TN
  • 邮发代号:2-676
  • 获奖情况:
  • 信息产业部通信科技期刊优秀期刊二等奖
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:25019