期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
被引量：
5
1
作者
肖美华
李娅楠
+3 位作者
宋佳雯
王西
忠
李伟
钟小妹
《计算机研究与发展》
EI
CSCD
北大核心
2019年第6期1275-1289,共15页
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换...
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.
展开更多
关键词
事件类
事件逻辑理论
置换规则
强认证性质
WMN客户端与LTCA认证协议
通用性
下载PDF
职称材料
深水急流软弱砂层中超长钢板桩围堰施工技术
被引量：
2
2
作者
王西
忠
《价值工程》
2014年第10期113-115,共3页
以兰永项目孔家寺黄河特大桥主桥深水承台基础的成功修建为背景,介绍了24m长钢板桩在深水急流软弱砂层条件下的施工工艺。该方法具有施工简单、快捷、成本较低等特点,可为同类施工环境下深水基础钢板桩围堰方案设计和施工提供借鉴。
关键词
深水急流
软弱砂层
超长钢板桩
先下围囹后打桩
插打
下载PDF
职称材料
基于SPIN的MIXCOIN协议形式化分析与验证
被引量：
1
3
作者
王西
忠
肖美华
+2 位作者
杨科
宋佳雯
朱志亮
《广西大学学报（自然科学版）》
CAS
北大核心
2020年第6期1404-1412,共9页
区块链混币机制协议是保障区块链安全和隐私的有效手段之一。MIXCOIN协议是一种典型的区块链混币机制协议,针对MIXCOIN协议可能存在泄漏用户地址关联性,导致协议不满足匿名性的问题,提出MIXCOIN协议形式化抽象表示方法,简化协议主体个数...
区块链混币机制协议是保障区块链安全和隐私的有效手段之一。MIXCOIN协议是一种典型的区块链混币机制协议,针对MIXCOIN协议可能存在泄漏用户地址关联性,导致协议不满足匿名性的问题,提出MIXCOIN协议形式化抽象表示方法,简化协议主体个数,约简加解密钥串表示,定义比特币转移函数,有效地解决了复杂协议难以形式化表示的问题。同时改进Dolev-Yao攻击者建模方法,引入敌手控制通道,可以更好地分析匿名通信协议。运用模型检测工具SPIN对MIXCOIN协议的认证性和匿名性进行验证,结果表明,协议存在中间人攻击和重放攻击,泄漏用户端混币地址的关联性,MIXCOIN协议只满足认证性而不满足匿名性。
展开更多
关键词
混币机制
MIXCOIN协议
匿名性
形式化方法
模型检测
下载PDF
职称材料
实施“高效课堂”教学模式的具体方法
4
作者
王西
忠
《数学学习与研究》
2011年第17期11-12,共2页
近年来,随着素质教育的不断深入和发展,《义务教育课程标准》的颁布与实施,一种新的教育理念便应运而生,它代表着一种全新的教学方向,走在教学理论的前列.初中课堂教学应创设一种符合学生认知规律的、轻松和谐的学习氛围,应该鼓励学生...
近年来,随着素质教育的不断深入和发展,《义务教育课程标准》的颁布与实施,一种新的教育理念便应运而生,它代表着一种全新的教学方向,走在教学理论的前列.初中课堂教学应创设一种符合学生认知规律的、轻松和谐的学习氛围,应该鼓励学生自主探究和合作交流,
展开更多
关键词
教学模式
高效课堂
义务教育课程标准
学生认知规律
素质教育
教育理念
教学方向
课堂教学
下载PDF
职称材料
活用一元一次方程解决行程问题
5
作者
王西
忠
《数学学习与研究》
2011年第16期78-78,共1页
行程问题中有三个基本量：路程,速度,时间.一般情况下,对于比较简单的行程问题学生基本可以直接用关系式＂路程=速度×时间＂来解决.但是当题目中的量比较多或者路程不太确定时,学生往往难以解决.下面主要以例题的形式从三个方面说...
行程问题中有三个基本量：路程,速度,时间.一般情况下,对于比较简单的行程问题学生基本可以直接用关系式＂路程=速度×时间＂来解决.但是当题目中的量比较多或者路程不太确定时,学生往往难以解决.下面主要以例题的形式从三个方面说明用一元一次方程解决行程问题的方法.
展开更多
关键词
一元一次方程
行程问题
活用
问题学生
路程
关系式
速度
时间
下载PDF
职称材料
题名
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
被引量：
5
1
作者
肖美华
李娅楠
宋佳雯
王西
忠
李伟
钟小妹
机构
华东交通大学软件学院
中国铁建重工集团有限公司
出处
《计算机研究与发展》
EI
CSCD
北大核心
2019年第6期1275-1289,共15页
基金
国家自然科学基金项目(61163005,61562026)
江西省自然科学基金项目(20161BAB202063)
江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)~~
文摘
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.
关键词
事件类
事件逻辑理论
置换规则
强认证性质
WMN客户端与LTCA认证协议
通用性
Keywords
event classes
logic of events theory
substitution rule
strong authentication property
WMN client and LTCA authentication protocol
universal applicability
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
TN925.93 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
深水急流软弱砂层中超长钢板桩围堰施工技术
被引量：
2
2
作者
王西
忠
机构
中铁十四局集团第三工程有限公司
出处
《价值工程》
2014年第10期113-115,共3页
文摘
以兰永项目孔家寺黄河特大桥主桥深水承台基础的成功修建为背景,介绍了24m长钢板桩在深水急流软弱砂层条件下的施工工艺。该方法具有施工简单、快捷、成本较低等特点,可为同类施工环境下深水基础钢板桩围堰方案设计和施工提供借鉴。
关键词
深水急流
软弱砂层
超长钢板桩
先下围囹后打桩
插打
Keywords
deep water jet
soft sand
super-long steel sheet pile
piling after railing
plugged into play
分类号
U445.4 [建筑科学—桥梁与隧道工程]
下载PDF
职称材料
题名
基于SPIN的MIXCOIN协议形式化分析与验证
被引量：
1
3
作者
王西
忠
肖美华
杨科
宋佳雯
朱志亮
机构
华东交通大学软件学院
出处
《广西大学学报（自然科学版）》
CAS
北大核心
2020年第6期1404-1412,共9页
基金
国家自然科学基金资助项目(61562026,61962020)
江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)。
文摘
区块链混币机制协议是保障区块链安全和隐私的有效手段之一。MIXCOIN协议是一种典型的区块链混币机制协议,针对MIXCOIN协议可能存在泄漏用户地址关联性,导致协议不满足匿名性的问题,提出MIXCOIN协议形式化抽象表示方法,简化协议主体个数,约简加解密钥串表示,定义比特币转移函数,有效地解决了复杂协议难以形式化表示的问题。同时改进Dolev-Yao攻击者建模方法,引入敌手控制通道,可以更好地分析匿名通信协议。运用模型检测工具SPIN对MIXCOIN协议的认证性和匿名性进行验证,结果表明,协议存在中间人攻击和重放攻击,泄漏用户端混币地址的关联性,MIXCOIN协议只满足认证性而不满足匿名性。
关键词
混币机制
MIXCOIN协议
匿名性
形式化方法
模型检测
Keywords
mixed coins mechanism
MIXCOIN protocol
anonymity
formal method
model checking
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
实施“高效课堂”教学模式的具体方法
4
作者
王西
忠
机构
陕西省洛南县杨圪崂中学
出处
《数学学习与研究》
2011年第17期11-12,共2页
文摘
近年来,随着素质教育的不断深入和发展,《义务教育课程标准》的颁布与实施,一种新的教育理念便应运而生,它代表着一种全新的教学方向,走在教学理论的前列.初中课堂教学应创设一种符合学生认知规律的、轻松和谐的学习氛围,应该鼓励学生自主探究和合作交流,
关键词
教学模式
高效课堂
义务教育课程标准
学生认知规律
素质教育
教育理念
教学方向
课堂教学
分类号
G634.6 [文化科学—教育学]
下载PDF
职称材料
题名
活用一元一次方程解决行程问题
5
作者
王西
忠
机构
陕西省洛南县杨圪崂中学
出处
《数学学习与研究》
2011年第16期78-78,共1页
文摘
行程问题中有三个基本量：路程,速度,时间.一般情况下,对于比较简单的行程问题学生基本可以直接用关系式＂路程=速度×时间＂来解决.但是当题目中的量比较多或者路程不太确定时,学生往往难以解决.下面主要以例题的形式从三个方面说明用一元一次方程解决行程问题的方法.
关键词
一元一次方程
行程问题
活用
问题学生
路程
关系式
速度
时间
分类号
G633.6 [文化科学—教育学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
肖美华
李娅楠
宋佳雯
王西
忠
李伟
钟小妹
《计算机研究与发展》
EI
CSCD
北大核心
2019
5
下载PDF
职称材料
2
深水急流软弱砂层中超长钢板桩围堰施工技术
王西
忠
《价值工程》
2014
2
下载PDF
职称材料
3
基于SPIN的MIXCOIN协议形式化分析与验证
王西
忠
肖美华
杨科
宋佳雯
朱志亮
《广西大学学报（自然科学版）》
CAS
北大核心
2020
1
下载PDF
职称材料
4
实施“高效课堂”教学模式的具体方法
王西
忠
《数学学习与研究》
2011
0
下载PDF
职称材料
5
活用一元一次方程解决行程问题
王西
忠
《数学学习与研究》
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
