安全性质

作品数：25被引量：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假设 
AKC攻击研究:攻击方式、转换算法和实例分析
《计算机系统应用》2016年第10期18-26,共9页麻婧 张文辉 
国家自然科学基金(61272135)
攻击者获取某主体(actor)的长期私钥后,利用该私钥伪装成其他主体欺骗actor或获取保密信息的行为被称为AKC(Actor Key Compromise)攻击.除密钥交换协议外,AKC攻击在其他类型的协议研究中较少受关注.本文强调了AKC攻击问题的重要性,并对...
关键词：安全协议 AKC攻击 安全性质 协议转换 
农网改造施工中易忽视的安全问题及提升措施研究被引量：1
《通讯世界（下半月）》2016年第1期187-188,共2页任建锋 
农电网改造相关工程安全性质管理主要指的是和农网具体改造有所关联的设计环节、实施工程环节和物资具体采购环节等安全方面的管理。在农网改造长期工程中,因为存在点多、分散性质较大、施工人员素养水平不一样的特征,因此造成了人身伤...
关键词：农网具体改造 实施工程 安全性质管理 
微耕机安全性质量问题及分析
《农机质量与监督》2015年第4期25-25,31,共2页顾永平 
微耕机轻便、灵活、应用广泛、价格低廉,深受广大用户喜爱。近年来,随着农机购置补贴政策的实施,微耕机拥有量迅猛发展,但质量问题造成的事故时有发生,安全形势严峻。根据甘肃省质量技术监督局[2015]12号文件,甘肃省农业机械鉴定站于201...
关键词：微耕机 耕耘机 质量技术监督 农机购置补贴 产品质量 鉴定站 购机农民 机械安全技术 旋耕刀 内部质量管理 
上海市质监局：符合GB9684-2011的不锈钢杯可泡茶
《不锈（市场与信息）》2015年第4期3-3,共1页
上海市质监局1月29日就近期舆论对食品用不锈钢的安全性质疑作出回应，“符合GB9684—2011《食品安全国家标准不锈钢制品》的不锈钢制品，具备接触食品的安全性，在盛装食物、泡茶等过程中，金属离子的溶出量在安全范围之内。”
关键词：不锈钢制品 质监局 上海市 泡茶 安全性质 国家标准 食品安全 金属离子 
基于Spin/Promela的Woo-Lam协议安全性质高效验证被引量：1
《计算机与数字工程》2014年第10期1768-1772,1928,共6页肖美华 程道雷 胡磊 
国家自然科学基金(编号:61163005);计算机软件新技术国家重点实验室开放课题(编号:KFKT2012B18);江西省高校科技落地计划项目(编号:KJLD13038);江西省自然科学基金(编号:2010GZS0150;20132BAB201033)资助
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.Maggi和R.Sisto提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时...
关键词：形式化方法 模型检测 Woo-Lam 协议 枚举法 打表法 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部