软件标识符的自然语言规范性研究

软件源代码的理解是软件协同开发与维护的核心,而源代码中占半数以上的标识符的理解则在软件理解中起到重要作用,传统软件工程主要研究通过命名规范限制标识符的命名过程以构造更易理解和交流的标识符。该文在梳理分析常见编程语言命名规范的基础上,该文提出一种全新的标识符可理解性评价标准。具体而言,首先总结梳理了常见主流编程语言中的命名规范并类比自然语言语素概念,提出基于软件语素的标识符构成过程,即标识符的构成可被视为软件语素的生成、排列和连接过程;在此基础上,该文提出一种结合自然语料库的软件标识符规范性评价方法,用来衡量软件标识符是否易于理解;最后,通过源代码理解数据集和Github平台中开源项目对规范性指标进行了验证性实验,结果表明,该文所提出的规范性分数能够很好衡量软件项目的可理解性。

面向可信计算平台的软件标识发布系统

针对应用软件缺乏可信性导致可信计算平台存在安全隐患的问题,提出一种以软件标识作为安全载体和验证手段的软件标识发布系统。介绍了其具体功能模块和工作流程,通过引入软件行为声明技术解决了发布之前软件来源的合法性和可信性问题,设计了一个认证协议解决了发布过程中软件的完整性问题,同时为用户提供了一种基于可信行为的最优软件推荐策略。应用事例证明本系统对进一步提高平台整体的可信性具有较高的研究意义和实用价值。

单片机程序存储中的软件标识研究

在某些特殊设备中,如智能电表等产品,由于使用方并非产品设计方,而使用方又担心设计方将程序外泄,带来使用的安全问题,便要求设计方在单片机存储程序时可自动形成带有一定特征和加密特性的软件标识,以达到使用方可以溯源程序的目的。采用对软件代码计算,并形成校验码的方式,是单片机程序存储中的软件标识的一种良好设计方式。

装备软件状态标识的消息认证码

消息认证技术中的散列函数可以产生与消息内容紧密相关的消息认证码,可以据此对装备中的软件进行状态标识。通过Visual C++与C#混合编程,建立了基于MD5算法的消息认证的实验系统,并进行了内容相关性、抗碰撞与软件状态标识实验。结果表明,与当前普遍采用的软件版本号实现软件版本状态管理相比,消息认证码可以避免人为疏忽所造成的装备软件状态管理的失效,是一种有效的装备软件状态标识的技术手段。

软件物料清单标准化研究

2021年底发生的Log4j2重大系列漏洞风波,对于推动软件物料清单应用的紧迫性发挥了无可替代的警醒作用。对于软件供应链中的漏洞管理来说,通过软件物料清单并快速获取其信息成为重要的基础性工作。围绕软件物料清单,介绍其背景和政策,并对比分析其功能和标准化进展。

软件工程主体知识结构——知识领域综述(续一)

在CMM之后,软件项目管理的热浪又从地球的另一端涌进了我国。软件行业的许多人士,特别是管理者们已经把目光投向了软件项目管理。还有更多的人,不论是从事软件工程化过程管理者还是从事第一线软件工作者,似乎也对这个领域表现出不同程度的兴趣。对于这个充分体现标准和标准化支撑作用的领域,作者从情报角度考虑从两年前就开始了这方面的探索。本讲刊登完后将对软件项目管理做概要介绍,与读者分享这个领域的初探结果。

基于标识的软件运行时安全认证机制

为了提升Linux操作系统安全性能,本文提出了基于标识的软件运行时安全认证机制,主要包括软件标识文件的生成、软件标识文件的管理以及软件运行时安全认证几个方面。实验结果表明,该机制能够有效阻止恶意软件的运行,提升Linux操作系统安全性能。

网络工程文档不可小视

随着信息产业的发展,各大中企业纷纷建设自己的企业信息网,摆在网管人员面前的任务就是如何建设好企业网络、保障网络的正常运转。下面笔者根据自己的经验谈谈如何利用网络工程文档作好企业网络建设工作。 一、网络工程文档及其组成 网络工程文档可以说就是指在网络工程施工过程中产生的各类文件。目前,网络工程文档还没有一个公认的国际或国家标准(也许有,恕笔者孤陋寡闻),因而各网络施工公司提供的网络工程文档不尽相同,但是不管怎么样,它们至少应包括以下内容:

Agility evaluation in public sector

Agility metrics are difficult to define in general, mainly due to the multidimensionality and vagueness of the concept of agility itself. In this paper, a knowledge-based framework is utilized for the measurement and assessment of public sector＇s agility by A. T. Kearney model. In this research, the authors used Z2 test in SPSS software. So, the authors discovered that the General Office of Standards ＆ Industrial Research of Sistan ＆ Baluchestan Province in Iran is agile. Finally, the authors determine the weakness points of organization by Friedman test.

基于软件实名认证的系统安全机制

为了解决当前计算机系统内软件滥用的问题,提出使用公钥密码数字签名技术实现软件实名(software real-name,SRN)认证的概念。设计一种基于软件实名认证的系统安全机制,该机制包括软件标识模型和软件认证模型。给出了在Windows环境下的软件标识器、软件静态认证和软件动态认证的实现方案。实验结果表明,SRN机制可以查验软件合法来源,检查软件发布后是否被非法篡改,可有效阻止恶意软件运行,对于保证计算机系统安全有明显效果。

酷码使用说明

酷码安装说明:收到短信→打开链接→安装操作→安装成功→返回功能表→使用酷码。1.移动手机用户编辑短信发送“km”到“666600”,会收到一条包含网络链接地址的短信;2.用户将收到“欢迎免费下载酷码软件”的提示,打开此链接,弹出是“否需要连接服务器”,选择“是”;3.请点击您自己的手机型号,酷码软件将免费安装到您手机中;4.进入手机功能菜单查找酷码识读软件标识,直接点击使用。