安全性质

作品数：27被引量：80H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李钦毛晓光郭建王化群王彩芬更多>>
相关机构：华东师范大学国防科学技术大学北京航空航天大学上海工业控制安全创新科技有限公司更多>>
相关期刊：《通讯世界（下半月）》《计算机工程与应用》《中国科教创新导刊》《农机质量与监督》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MTRDL的自动飞行系统模式需求建模与验证方法被引量：1
《软件学报》2024年第9期4265-4286,共22页徐恒 黄志球 胡军 陶传奇 王金永 石帆 
国家自然科学基金(U2241216);中央高校基本科研业务费专项资金(NT2022027,NJ2022027);河南省科技攻关项目(222102210048)。
在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中...
关键词：自动飞行系统模式 形式化方法 SysML建模 安全性质 
中本聪共识安全性质研究方法被引量：4
《中国科学：信息科学》2022年第5期837-855,共19页周子钰 张宗洋 刘建伟 
国家自然科学基金(批准号:61972017,61972018,61932014,72031001);北京市自然基金项目(批准号:M21033);云南省区块链应用技术重点实验室(培育)开放课题(批准号:YNB202101);国家密码发展基金(批准号:MMJJ20180215);中央高校基本科研业务费(批准号:YWF-21-BJ-J-1040)资助项目。
中本聪共识是区块链共识机制中最基础和研究最广泛的一种共识机制,其安全性对整个区块链领域的发展具有重要的理论意义和应用价值.现有大量研究在各种模型假设下对中本聪共识进行了安全性分析和证明.本文首先详细描述了中本聪共识的执...
关键词：中本聪共识 区块链 安全性证明 数字货币 工作量证明 
产细菌素屎肠球菌SC-Y112的体外益生性及安全性评价被引量：17
《食品科学》2021年第11期154-160,共7页罗强 张明 刘巧 罗璠 
中央高校基本科研业务费专项资金资助项目(2018NZD11)。
屎肠球菌SC-Y112是一种具有广谱抗菌性质的产细菌素乳酸菌,为更深入了解其菌株性质,本研究通过模拟胃肠液耐受实验、胆盐耐受实验、抗氧化活性测定、溶血活性测定、明胶液化实验、有害代谢物质检测、耐药性评价及肠球菌毒力基因检测对...
关键词：屎肠球菌 益生性质 安全性质 毒力基因 
TipTracer:基于安全提示的安卓应用通用漏洞检测框架被引量：7
《计算机研究与发展》2019年第11期2315-2329,共15页张磊 杨哲慜 李明琪 杨珉 
国家“九七三”重点基础研究发展计划项目（2015CB358800）;国家自然科学基金项目（U1636204,61602121,U1736208,61602123,U1836213,U1836210）~~
为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞...
关键词：安卓安全规约 安卓应用程序 安全性质语言 静态代码分析 漏洞检测 
具有前向安全性质的基于身份的聚合签名方案被引量：4
《计算机科学》2018年第B06期387-391,共5页韦性佳 张京花 刘增芳 芦殿军 
青海省科技创新能力促进计划资助项目(2015-ZJ-724)资助
利用双线性映射、椭圆曲线离散对数、强RSA假设,提出了一种具有前向安全性的聚合签名方案。该方案可实现私钥生成中心与签名用户的认证,对签名消息具有前向安全性,进一步保障了系统的安全性。在随机预言模型下证明了该方案在CDH问题难...
关键词：聚合签名 前向安全性 计算DIFFIE-HELLMAN问题 双线性对 强RSA假设 
微耕机安全性质量问题及分析试论
《中文科技期刊数据库(文摘版)工程技术》2018年第1期00286-00286,共1页鲍向明 
微耕机使用起来非常的轻便和灵活,它也被大范围的应用在农田中,被广大农户所喜爱。近几年以来,农机购置补贴政策开始实施,微耕机的数量增长迅猛,但是因为微耕机的质量问题而引发的事故屡见不鲜,安全形势十分的严峻。
关键词：微耕机 安全性 质量问题 
AKC攻击研究:攻击方式、转换算法和实例分析
《计算机系统应用》2016年第10期18-26,共9页麻婧 张文辉 
国家自然科学基金(61272135)
攻击者获取某主体(actor)的长期私钥后,利用该私钥伪装成其他主体欺骗actor或获取保密信息的行为被称为AKC(Actor Key Compromise)攻击.除密钥交换协议外,AKC攻击在其他类型的协议研究中较少受关注.本文强调了AKC攻击问题的重要性,并对...
关键词：安全协议 AKC攻击 安全性质 协议转换 
农网改造施工中易忽视的安全问题及提升措施研究被引量：1
《通讯世界（下半月）》2016年第1期187-188,共2页任建锋 
农电网改造相关工程安全性质管理主要指的是和农网具体改造有所关联的设计环节、实施工程环节和物资具体采购环节等安全方面的管理。在农网改造长期工程中,因为存在点多、分散性质较大、施工人员素养水平不一样的特征,因此造成了人身伤...
关键词：农网具体改造 实施工程 安全性质管理 
浅谈职工安全意识转变方法的探索与研究
《中国科技期刊数据库 科研》2015年第8期00271-00271,共1页张硕邵奎明 李建生 
推动职工自主型安全意识,使职工安全意识从“要我安全”到“我要安全”转变,安全思维由“事后处理”向“事先控制”转变,安全方式由“粗放式”向“精细化”转变,安全性质由“传统安全型”向“本质安全型”转变,达到职工自主安全管理、...
关键词：安全意识 安全思维 安全方式 安全性质 
微耕机安全性质量问题及分析
《农机质量与监督》2015年第4期25-25,31,共2页顾永平 
微耕机轻便、灵活、应用广泛、价格低廉,深受广大用户喜爱。近年来,随着农机购置补贴政策的实施,微耕机拥有量迅猛发展,但质量问题造成的事故时有发生,安全形势严峻。根据甘肃省质量技术监督局[2015]12号文件,甘肃省农业机械鉴定站于201...
关键词：微耕机 耕耘机 质量技术监督 农机购置补贴 产品质量 鉴定站 购机农民 机械安全技术 旋耕刀 内部质量管理 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部