检索结果-维普期刊中文期刊服务平台

SAP-AKA二次认证协议的形式化验证与改进: 1; 作者彭程炜杨晋吉杨光《计算机工程》北大核心 2025年第6期204-211,共8页; SAP-AKA协议是根据第3代合作项目(3GPP)标准定义的基于可扩展身份认证(EAP)框架,为垂直用户提供密钥服务安全的二次认证协议,在5G实际环境中,认证与密钥协商协议受到各种网络攻击的影响,导致非法访问、无法认证以及身份信息泄露,在面临... 展开更多; 关键词概率模型检测认证协议 SAP-AKA协议形式化验证 prism工具; 在线阅读下载PDF 职称材料

基于模型检测的系统生存性分析被引量：2: 2; 作者周清雷张兵席琳《计算机工程》 CAS CSCD 2012年第17期38-41,共4页; 提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PR... 展开更多; 关键词生存性分析形式化方法模型检测 prism检测工具离散马尔科夫链概率计算树逻辑; 在线阅读下载PDF 职称材料

一种加工微棱镜阵列新方法及其刀具的研究被引量：5: 3; 作者高贾顺陈亚洲 +1 位作者皮钧杨光《组合机床与自动化加工技术》北大核心 2014年第6期127-130,134,共5页; 针对微棱镜阵列尺寸小,表面粗糙度值小,刀具要求高的特征,研究利用超声振动刨削加工微棱镜阵列。研究内容主要包括:设计一种可以加工出高质量微棱镜阵列的刨刀;加工出微棱镜并分析微棱镜反光膜微观几何结构;最后通过检测被加工微棱镜阵... 展开更多; 关键词微棱镜阵列超声振动刨削刀具; 在线阅读下载PDF 职称材料

数控车削多面体的原理研究被引量：2: 4; 作者吴焱明赵韩 +2 位作者徐林森张栋田杰《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期416-418,共3页; 为了实现在车床上加工多面体的目的,在车床上增加一个旋转轴,让车刀作旋转运动,适当调整刀具和工件的转速比、中心距及刀具长度等参数,可以在回转的工件上车出横截面为正多边形的多面体;在分析工件上刀尖轨迹的影响因素的基础上,导出了... 展开更多; 关键词数控车床多面体误差分析刀尖轨迹; 在线阅读下载PDF 职称材料

微棱镜反光阵列超声振动刨削对刀工艺: 5; 作者陈亚洲高贾顺皮钧《机械设计与制造》北大核心 2015年第1期131-134,共4页; 为实现微棱镜反光阵列超声振动刨削加工,对微棱镜反光阵列加工过程中的对刀工艺进行了研究。在理论分析的基础上,提出了三种微棱镜反光阵列超声振动刨削对刀方案,通过实验对三种方案进行了比较。研究表明通过在工作台上装夹一大一小两... 展开更多; 关键词微棱镜反光阵列超声振动刨削对刀工艺; 在线阅读下载PDF 职称材料

题名SAP-AKA二次认证协议的形式化验证与改进: 1; 作者彭程炜杨晋吉杨光; 机构华南师范大学计算机学院; 出处《计算机工程》北大核心 2025年第6期204-211,共8页; 基金广东省自然科学基金(2020A1515010445)。; 文摘 SAP-AKA协议是根据第3代合作项目(3GPP)标准定义的基于可扩展身份认证(EAP)框架,为垂直用户提供密钥服务安全的二次认证协议,在5G实际环境中,认证与密钥协商协议受到各种网络攻击的影响,导致非法访问、无法认证以及身份信息泄露,在面临巨大安全挑战下SAP-AKA协议的安全属性能否满足要求仍未知。为此,采用概率模型检测方法对SAP-AKA协议建立形式化模型,在协议交互状态迁移中引入攻击率,定量分析攻击率对协议的影响程度,使用概率计算树逻辑描述协议属性,并利用概率模型检测工具PRISM对协议的安全属性进行定量形式化分析。实验结果表明,SAP-AKA协议的时延性、认证性和完整性在不同程度上受各实体间攻击率的影响,随着攻击率变大,协议的安全属性不再满足要求。最后根据实验结果分析造成安全缺陷的原因,提出了改进方案并进行形式化验证,协议的安全属性均得到有效提升。; 关键词概率模型检测认证协议 SAP-AKA协议形式化验证 prism工具; Keywords probabilistic model checking authentication protocol SAP-AKA protocol formal verification prism tool; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于模型检测的系统生存性分析被引量：2: 2; 作者周清雷张兵席琳; 机构郑州大学信息工程学院; 出处《计算机工程》 CAS CSCD 2012年第17期38-41,共4页; 基金国家"863"计划基金资助项目"基于ASP模式的软件服务支持技术研究"(2007AA010408); 文摘提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PRISM对系统进行建模及验证,结果表明,该形式化方法可以规范并简化生存性分析过程。; 关键词生存性分析形式化方法模型检测 prism检测工具离散马尔科夫链概率计算树逻辑; Keywords survivability analysis formal method model checking prism checking tool discrete Markov chain probability computation treelogic; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种加工微棱镜阵列新方法及其刀具的研究被引量：5: 3; 作者高贾顺陈亚洲皮钧杨光; 机构集美大学机械与能源工程学院; 出处《组合机床与自动化加工技术》北大核心 2014年第6期127-130,134,共5页; 基金国家自然科学基金资助项目(51175225) 福建省科技计划项目(2013H0031); 文摘针对微棱镜阵列尺寸小,表面粗糙度值小,刀具要求高的特征,研究利用超声振动刨削加工微棱镜阵列。研究内容主要包括:设计一种可以加工出高质量微棱镜阵列的刨刀;加工出微棱镜并分析微棱镜反光膜微观几何结构;最后通过检测被加工微棱镜阵列的表面粗糙度值、角度以及刨刀磨损情况,来判断超声振动刨削刀具是否满足加工出微棱镜阵列的要求。研究结果表明,在刀具刃磨方法合理、刀尖速度方向和工件速度方向共线、刀尖与主轴在X-Y平面内的偏差测量准确的前提下,角度γf为25°、α0为9°、kr为54.75°的刨刀可以在尺寸为25mm×25mm×10mm的6061铝合金板上加工约3万个微棱镜阵列。; 关键词微棱镜阵列超声振动刨削刀具; Keywords micro prism array ultrasonic vibration planing tools; 分类号 TH165 [机械工程—机械制造及自动化] TG663 [金属学及工艺—金属切削加工及机床]; 在线阅读下载PDF 职称材料

题名数控车削多面体的原理研究被引量：2: 4; 作者吴焱明赵韩徐林森张栋田杰; 机构合肥工业大学机械与汽车工程学院; 出处《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期416-418,共3页; 基金安徽省自然科学基金资助项目(03044104); 文摘为了实现在车床上加工多面体的目的,在车床上增加一个旋转轴,让车刀作旋转运动,适当调整刀具和工件的转速比、中心距及刀具长度等参数,可以在回转的工件上车出横截面为正多边形的多面体;在分析工件上刀尖轨迹的影响因素的基础上,导出了车削多面体的条件;以车削正四棱柱为例,进行了误差分析,得到了刀具长度与工件尺寸和容许误差间的关系。; 关键词数控车床多面体误差分析刀尖轨迹; Keywords NC lathe polygon prism error analysis trajectory of a lathe tool; 分类号 TH161.5 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名微棱镜反光阵列超声振动刨削对刀工艺: 5; 作者陈亚洲高贾顺皮钧; 机构集美大学机械与能源工程学院; 出处《机械设计与制造》北大核心 2015年第1期131-134,共4页; 基金国家自然科学基金(51175225) 福建省科技计划项目(2013H0031); 文摘为实现微棱镜反光阵列超声振动刨削加工,对微棱镜反光阵列加工过程中的对刀工艺进行了研究。在理论分析的基础上,提出了三种微棱镜反光阵列超声振动刨削对刀方案,通过实验对三种方案进行了比较。研究表明通过在工作台上装夹一大一小两个待加工工件,其中小型待加工工件用于对刀、大型待加工工件用于最终的加工,能显著缩短对刀时间。试验获得的微棱镜反光阵列超声振动刨削对刀方案,为加工出轮廓精度较好的微棱镜反光阵列提供了保障。提出的对刀工艺对其它微细表面的超声振动刨削加工也有借鉴意义。; 关键词微棱镜反光阵列超声振动刨削对刀工艺; Keywords Micro prism Reflective Array Ultrasonic Vibration Planing tool Setting Process; 分类号 TH16 [机械工程—机械制造及自动化] TH165 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	SAP-AKA二次认证协议的形式化验证与改进	彭程炜杨晋吉杨光	《计算机工程》北大核心	2025	0	在线阅读下载PDF 职称材料
2	基于模型检测的系统生存性分析	周清雷张兵席琳	《计算机工程》 CAS CSCD	2012	2	在线阅读下载PDF 职称材料
3	一种加工微棱镜阵列新方法及其刀具的研究	高贾顺陈亚洲皮钧杨光	《组合机床与自动化加工技术》北大核心	2014	5	在线阅读下载PDF 职称材料
4	数控车削多面体的原理研究	吴焱明赵韩徐林森张栋田杰	《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
5	微棱镜反光阵列超声振动刨削对刀工艺	陈亚洲高贾顺皮钧	《机械设计与制造》北大核心	2015	0	在线阅读下载PDF 职称材料