期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
基于DevSecOps的关键信息基础设施软件开发策略研究
1
作者 王琦 《中国新通信》 2024年第12期23-25,16,共4页
近年来,DevSecOps软件开发思想受到广泛关注,许多企业在软件系统开发流程中采用DevSevOps理念来指导软件开发工作。通过分析关键信息基础设施软件系统的机密性、保密性和可用性等核心安全需求,并深入讨论关键信息基础设施的系统特性与挑... 近年来,DevSecOps软件开发思想受到广泛关注,许多企业在软件系统开发流程中采用DevSevOps理念来指导软件开发工作。通过分析关键信息基础设施软件系统的机密性、保密性和可用性等核心安全需求,并深入讨论关键信息基础设施的系统特性与挑战,展示出DevSecOps软件开发思想在指导关键信息基础设施领域软件开发的积极意义。 展开更多
关键词 关键信息基础设施 DevSecOps 网络安全 软件开发
在线阅读 下载PDF
一种安全关键软件系统的形式化开发模型
2
作者 王海峰 张仲义 《铁路计算机应用》 2002年第10期10-12,共3页
形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety C... 形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例。 展开更多
关键词 安全关键软件系统 开发模型 形式化 开发方法 计算机 软件开发
在线阅读 下载PDF
在可靠的平台上进行程序开发——浅析《Symbian OS平台安全——用Symbian OS安全架构进行软件开发》
3
《通信世界》 2009年第22期I0030-I0030,共1页
在过去的几年里,我们看到手机上使用的编程环境的功能和灵活性被极大增强,手机正在走向计算机和.互联网的开放性。而得到世界领先的移动电话制造商许可的先进的、可定制的操作系统—-SymbianOS,以其无可挑剔的市场表现,占据着很大... 在过去的几年里,我们看到手机上使用的编程环境的功能和灵活性被极大增强,手机正在走向计算机和.互联网的开放性。而得到世界领先的移动电话制造商许可的先进的、可定制的操作系统—-SymbianOS,以其无可挑剔的市场表现,占据着很大的市场份额。 展开更多
关键词 SYMBIANOS 安全架构 OS平台 软件开发 程序开发 市场份额 编程环境 移动电话
在线阅读 下载PDF
基于SCADE的计算机联锁软件开发研究 被引量:2
4
作者 张恬 《铁路计算机应用》 2020年第12期53-56,共4页
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。... 计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。 展开更多
关键词 铁路信号 计算机联锁 软件开发 安全性应用程序开发环境 基于模型的软件工程
在线阅读 下载PDF
我国水环境安全关键技术进入国际先进行列
5
《能源与环境》 2007年第6期50-50,共1页
由重庆大学完成的“水环境安全关键技术研究与示范”日前通过鉴定,专家认为此课题研究成果的总体水平已进入国际先进行列。
关键词 安全关键 环境 国际 技术 重庆大学 研究成果
在线阅读 下载PDF
近海边际油田勘探开发中若干关键问题探讨 被引量:13
6
作者 杨致政 张瀛 胡启国 《特种油气藏》 CAS CSCD 2005年第5期5-8,13,共5页
近海边际油田勘探开发是解决我国当前能源危机的有效途径之一。应加大资金支持力度,大力完善有关勘探开发理论和技术,发展先进的技术装备,完善后勤服务,使海上油田开采“全面开花”;近海边际油田开发还应解决好几大关键问题:发展三维地... 近海边际油田勘探开发是解决我国当前能源危机的有效途径之一。应加大资金支持力度,大力完善有关勘探开发理论和技术,发展先进的技术装备,完善后勤服务,使海上油田开采“全面开花”;近海边际油田开发还应解决好几大关键问题:发展三维地震等先进的勘探技术;开发先进的钻井平台技术,用于海上油气资源的开采,完善管道铺设技术,加强油气资源的输送;注意油气勘探开发中的环境保护和安全保障问题。 展开更多
关键词 边际油田 资源 钻井平台 环境保护 安全保障 关键问题 探讨 近海
在线阅读 下载PDF
基于SCADE的FADEC软件通用基准模型库开发 被引量:2
7
作者 周彰毅 张春 +2 位作者 朱理化 黄浩 李纪波 《航空发动机》 北大核心 2022年第2期96-101,共6页
在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程... 在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象,通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境(SCADE)建模仿真工具完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明:该基准库支撑了多个FADEC软件项目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也具有一定的借鉴意义。 展开更多
关键词 全权限数字电子控制 基于模型开发 安全关键软件开发环境 模型库 形式化验证 航空发动机
在线阅读 下载PDF
网格安全模型中关键策略的研究 被引量:2
8
作者 陈宏伟 王汝传 《南京邮电学院学报(自然科学版)》 2005年第2期71-75,共5页
给出了一个独立于平台的网络安全模型,并对网络安全模型中的认证和授权等关键策略作了分析。这些关键策略包括:基于桥接CA(认证中心)的PKI(公钥基础设施)管理方式、基于虚拟组织的认证策略、网络环境中委托授权的访问控制策略等。采用... 给出了一个独立于平台的网络安全模型,并对网络安全模型中的认证和授权等关键策略作了分析。这些关键策略包括:基于桥接CA(认证中心)的PKI(公钥基础设施)管理方式、基于虚拟组织的认证策略、网络环境中委托授权的访问控制策略等。采用这些策略有利于不同PKI管理策略的虚拟组织之间认证,简化了网格的安全认证,能够对网络资源进行动态有效地管理。 展开更多
关键词 关键策略 网格 网络安全模型 公钥基础设施 访问控制策略 虚拟组织 管理方式 认证中心 认证策略 网络环境 管理策略 安全认证 网络资源 PKI 授权 CA
在线阅读 下载PDF
计算机管理医疗设备软件开发与关键技术
9
作者 邱亚豪 《数字技术与应用》 2025年第2期142-144,共3页
本文对计算机管理医疗设备软件的开发要点与关键技术进行了深度研究,简要介绍了医院医疗设备管理的重要性,并对计算机管理软件的需求进行分析,详细阐述了软件的设计原则。在对计算机管理软件开发要点从数据整合、兼容性开发、安全与隐... 本文对计算机管理医疗设备软件的开发要点与关键技术进行了深度研究,简要介绍了医院医疗设备管理的重要性,并对计算机管理软件的需求进行分析,详细阐述了软件的设计原则。在对计算机管理软件开发要点从数据整合、兼容性开发、安全与隐私保护三方面展开论述的基础上,对其中的关键技术进行剖析,旨在为相关从业者提供理论借鉴与实践指导。 展开更多
关键词 计算机管理 医疗设备 软件开发 兼容性开发 安全与隐私保护 关键技术 理论借鉴 实践指导
在线阅读 下载PDF
SCADE模型驱动开发过程研究及高安全性分析 被引量:7
10
作者 李虎 马晋 +1 位作者 郑凤 张鹏程 《航空电子技术》 2013年第1期15-19,共5页
本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯... 本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。 展开更多
关键词 统一软件开发过程(RUP) 敏捷开发 模型驱动开发(MDD) 安全性应用程序开发环境(SCADE) 安全软件
在线阅读 下载PDF
从档案学核心期刊看数字环境下档案数据安全研究现状及趋势 被引量:1
11
作者 王刚 《机电兵船档案》 2023年第5期102-105,共4页
在档案数字化转型加速推进的背景下,传统档案工作环境、模式和内容发生了翻天覆地的变化,对档案数据安全提出了更高的要求。本文对国内数字环境下档案数据安全研究进行综述,梳理该领域论文在时间、空间、作者和高频关键词分布状况,揭示... 在档案数字化转型加速推进的背景下,传统档案工作环境、模式和内容发生了翻天覆地的变化,对档案数据安全提出了更高的要求。本文对国内数字环境下档案数据安全研究进行综述,梳理该领域论文在时间、空间、作者和高频关键词分布状况,揭示该领域研究的发展现状和脉络,在此基础上归纳出档案数据安全研究的主题,最后指出档案数据安全研究的趋势和发展方向。 展开更多
关键词 数字化转型 高频关键 数据安全 数字环境 档案 传统档案工作
在线阅读 下载PDF
基于SCADE高安全软件的模型覆盖测试
12
作者 虞佳伟 沈雷 +1 位作者 邵锴 林娇娇 《数字技术与应用》 2023年第12期111-113,共3页
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中... 随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中的应用,对模型覆盖测试技术进行研究、分析和实践。SCADE[1](Safety Critical Application Development Environment,SCADE)是高安全性的应用程序开发环境,适用于开发嵌入式安全关键系统,它为嵌入式软件提供了一套基于模型的开发方式。基于SCADE高安全软件的模型覆盖测试是一种基于模型的安全关键软件全覆盖测试方法。 展开更多
关键词 覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发
在线阅读 下载PDF
风河物联网软件平台:安全性.互联性和可管理性一网打尽
13
《电子产品世界》 2012年第11期69-69,共1页
风河公司近日推出最新的WindRiverIntelligentDevicePlatform,作为一个完整的物联网应用软件开发环境,该平台提供了物联网设备开发所需的安全性、互联性以及可管理性。
关键词 可管理性 软件平台 物联网 安全 软件开发环境 风河公司 设备开发
在线阅读 下载PDF
国外环境设计预防犯罪导则介述与借鉴 被引量:5
14
作者 毛媛媛 寇琴 +2 位作者 孙庆颖 宋科 殷玲 《上海城市规划》 北大核心 2022年第2期148-154,共7页
环境设计预防犯罪策略是促进城市安全环境建设的重要途径之一,已在诸多国家推广应用,而当前国内城市规划建设实践对此关注较少。通过对国际上41份环境设计预防犯罪导则的梳理,总结其编制特点和实施策略,并针对典型导则案例进行介绍。最... 环境设计预防犯罪策略是促进城市安全环境建设的重要途径之一,已在诸多国家推广应用,而当前国内城市规划建设实践对此关注较少。通过对国际上41份环境设计预防犯罪导则的梳理,总结其编制特点和实施策略,并针对典型导则案例进行介绍。最后结合当前国内规划编制和管理,提出平衡把握通过环境设计预防犯罪导则的应用层次、导则要素集建构、鼓励多主体参与式共建、通过试点项目形成分地区差异化计划、制定相关的法律法规和指引导则、建立完善的导则犯罪预防评估机制等编制实施建议,以期为未来国内环境设计预防犯罪相关导则的编制提供借鉴。 展开更多
关键词 环境设计 犯罪预防 导则 城市安全 CPTED关键
在线阅读 下载PDF
引入HACCP技术思路构建标准化商品肉鸡场生物安全体系
15
作者 魏忠华 王学静 李杰峰 《北方牧业》 2012年第19期18-18,共1页
随着肉鸡养殖量的迅猛增长,疾(疫)病的复杂性、抗生素的滥用程度与日俱增,养殖风险越来越大,产品效益及食品安全问题充斥着企业及消费人群的头脑。为养殖场创建生物安全体系日渐提上日程。本文利用HACCP技术,确定影响标准化肉鸡场生... 随着肉鸡养殖量的迅猛增长,疾(疫)病的复杂性、抗生素的滥用程度与日俱增,养殖风险越来越大,产品效益及食品安全问题充斥着企业及消费人群的头脑。为养殖场创建生物安全体系日渐提上日程。本文利用HACCP技术,确定影响标准化肉鸡场生物安全的关键控制点,并提出相应解决措施,以确保肉鸡生产环境的优良,为作为生产安全食品的重要一环—养殖场创建生物安全体系提供一套新的发展思路。 展开更多
关键词 生物安全体系 HACCP技术 肉鸡场 标准化 商品 食品安全问题 生产环境 关键控制点
在线阅读 下载PDF
发展无公害生产确保农产品质量安全对策分析
16
作者 霍勤 钟锋 沙黎娥 《新疆农业科学》 CAS CSCD 2005年第B06期147-149,共3页
阐述了新疆昌吉州发展无公害农产品生产所面临的紧迫形势,一是促进农业产业结构战略性词整的必要措施:二是提高质量安全标准工作的重要成分;三是农产品出口的关键环节;四是农业可持续发展的需要;有利条件包括昌吉州得天独厚的农业生态环... 阐述了新疆昌吉州发展无公害农产品生产所面临的紧迫形势,一是促进农业产业结构战略性词整的必要措施:二是提高质量安全标准工作的重要成分;三是农产品出口的关键环节;四是农业可持续发展的需要;有利条件包括昌吉州得天独厚的农业生态环境,以及作为农业大州,交通便利,并拥有一批农业龙头企业及科技保证;存在问题有:无公害农产品生产专项技术不完善及市场体系需要建立与完善;提出对策目标。 展开更多
关键词 农产品质量安全 无公害生产 对策分析 无公害农产品生产 农业可持续发展 农业产业结构 农业生态环境 战略性调整 农产品出口 标准工作 关键环节 龙头企业 市场体系 昌吉州
在线阅读 下载PDF
SCADE在弹载软件建模中的应用 被引量:7
17
作者 邓志云 宋志刚 马金梭 《航空兵器》 2007年第3期49-53,共5页
主要介绍了一种软件建模机制和模型验证方法,并结合弹载软件需求进行了模型实例的构建。试验结果表明,该方法有助于提高弹载软件的质量并缩短研制周期,满足导弹的整体研制需求。
关键词 软件开发环境 弹载软件 软件建模 模型覆盖率 软件安全
在线阅读 下载PDF
浅谈HACCP食品安全管理体系运行
18
作者 宋杰书 田凤 《酒.饮料技术装备》 2006年第1期76-77,共2页
前言 HACCP是国际公认的食品生产安全最有效的管理体系,它的全称是危害分析关键控制点(Hazard Analysis Critical Control Point)。它是一种以确保食品安全为基础的食品安全管理体系,被国际权威机构认可为控制由食品引起的疾病最... 前言 HACCP是国际公认的食品生产安全最有效的管理体系,它的全称是危害分析关键控制点(Hazard Analysis Critical Control Point)。它是一种以确保食品安全为基础的食品安全管理体系,被国际权威机构认可为控制由食品引起的疾病最有效的方法。它适用于鉴别影响食品安全的微生物、化学和物理危害。HACCP最大的优点是它使食品生产和供应厂把以最终产品检验为主要基础的控制观念转变为在生产环境下鉴别并控制潜在危害的预防性。 展开更多
关键词 食品安全管理体系 HACCP 危害分析关键控制点 Analysis Control 运行 生产安全 物理危害 潜在危害 生产环境
在线阅读 下载PDF
顺德职业技术学院:NSX Data Center--破解虚拟化安全难题 被引量:1
19
作者 麦伟誉 沈静颖 《中国高新科技》 2021年第20期18-19,共2页
虚拟化安全的3个关键问题虚拟化代表着IT实践的巨大变化。虚拟化的发展经历了有时称为“虚拟化停滞”的过程。这是指许多组织将其服务器总数的25%进行了虚拟化,然后进度停止了。实际上,安全团队并不确定如何在虚拟化环境中应用为物理环... 虚拟化安全的3个关键问题虚拟化代表着IT实践的巨大变化。虚拟化的发展经历了有时称为“虚拟化停滞”的过程。这是指许多组织将其服务器总数的25%进行了虚拟化,然后进度停止了。实际上,安全团队并不确定如何在虚拟化环境中应用为物理环境设计的实践,虽然有这样的困惑,但是方向是明确的:安全实践必须更新,以打破虚拟化的僵局。 展开更多
关键词 虚拟化安全 虚拟化环境 CENTER 安全实践 顺德职业技术学院 服务器 关键问题
在线阅读 下载PDF
软件保护技术中的跟踪与反跟踪
20
作者 邵通 《遥测遥控》 1989年第6期47-50,共4页
§1 引言随着计算机应用的日益广泛,越来越多的重要的软件和信息将在计算机系统中存贮、处理。如何保护计算机系统中有价值的软件是计算机安全的一个重要的组成部分。软件开发的周期长,耗费大。而且。
关键词 软件保护 软件开发 计算机安全 计算机应用 计算机系统 加密软件 非法用户 研究与开发 软件运行环境 信息加密
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部