软件安全

基于EAI和AOP的软件安全测试及应用研究

Research and Application of Software Security Testing Based on EAI and AOP

利用MDA方法进行软件安全属性的建模，降低后期开发的风险与成本。

It realizes software security property modeling with the method of MDA , and reduces risk and cost of later development period .

拥护者认为开放源代码软件安全性更高。

Supporters say open source software is more secure .

一种Web应用软件安全脆弱性测试模型

Model for Vulnerability Testing of Web-based Application

基于Petri网的某引信安全系统软件安全性分析

Analysis of Safety System Software of Some Fuze Based on Petri Net

总结了基于Petri网的系统软件安全性分析的特点。

The characters of the system software safety analysis with Petri nets are summed up .

一种基于EAI模型的软件安全测试方法

A method of fault injection software testing based on EAI model

很多其他的销售商，例如Oracle，也采用类似的方式高度重视软件安全性的影响。

Many other vendors , such as Oracle , have reacted in similar ways to the heightened security threat .

软件安全性3M评价模型复杂度因子的研究

Study on Complexity Parameter in Software Safety 3M Assessment Model

Java程序因为平台无关性得以在互联网上迅速发布，但同时Java程序也面临着两个严重的软件安全问题：第一，版权问题。

Java program is spreading quickly on the Internet for its platform-independent characteristics , but it also faces two serious software security issues : first , the copyright problem .

确实有事实证明FLOSS能比具有专利权的软件安全。

There 's certainly evidence that FLOSS can be more secure than proprietary software .

一方面，通过在客户端动态生成虚拟服务来支持传统应用软件安全透明地访问VPN内部服务群；

By the virtual services created dynamically at the client server , SSL VPN can help traditional applications securely and transparently access VPN internal servers ;

但是，由于受到美国出口管理法规的限制，我国国内能得到的支持SSL协议的软件安全强度相当脆弱，无法应用于重要场合。

However , because of the limitation of American export regulations , the security strength of SSL softwares that we can get is fragile , thus these softwares cannot be deployed in critical missions .

本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（FTA）、Petri网两种常见的软件安全性分析方法。

In this paper , the concept of the software safety of a fuze and the work tasks of its analysis and two kinds of software safety analysis methods ( Fault Tree Analysis and Petri Nets ) are presented .

首先讨论了主流的安全检查工具的优缺点以及本文采用的软件安全检查工具的框架，在此基础上给出了Java前端的整体设计，该设计包括预处理和中间表示生成两部分。

First of all , this paper discusses the relative merits of some current security checking tools and the framework of the related one . Based on this , the whole design of Java front end which is divided into preprocessor and generation of intermediate representation is given .

这个列表是SANS学院、MITRE以及“美国和欧洲很多顶级软件安全专家”共同合作的成果。

The list is the result of collaboration between the SANS Institute , MITRE , and " many top software security experts in the US and Europe " .

IEC61508是一种安全标准，软件安全是它的一个重要组成部分。

IEC61508 is a standard for safty , and the software safety is one of its important constituents .

软件安全漏洞是当前网络信息安全中研究的核心问题之一，Fuzzing测试作为一种重要的软件安全漏洞检测方法，研究提高其测试过程中的代码覆盖率具有重要意义。

Software security vulnerability is one of the core components of the network information security and doing research on improving the code coverage of Fuzzing test is of great significance as Fuzzing test is a very important technique for detecting software security vulnerabilities .

引信软件安全性和可靠性仿真测试系统研究

Study on Safety and Reliability Simulation Testing System for Fuze Software

引信软件安全性概念及分析方法

Concept and Analysis Methods of the Software Safety of a Fuze

基于相似特征的软件安全性缺陷检测算法

A Method for Detecting Software Security Vulnerability Based on Similar Characteristics

基于虚拟仪器技术的引信软件安全性测试系统

The Testing System of Fuze Software Safety Based on Visual Instrument

基于面向方面技术的软件安全框架的研究

Research on Software Security Framework Based on Aspect - Oriented

可重构终端软件安全下载与发布管理

The security technology of software download and Release Management in Reconfigurable terminals

改进后的系统提高了软件安全保护的效率。

New system improves the efficiency of software security protection .

形式化故障树分析建模和软件安全性测试

Formal Fault Tree Analysis Modeling and Software Safety Testing

安装系统软件安全补丁&保证系统安全性

Installing System Software Safety Patch Promises A System Safety

软件安全及有关技术浅析

Software safety and the analysis of the relevant techniques

计算机软件安全漏洞的法律规制探讨

Computer software security holes to explore the legal regulation

一种安全软件安全性评估的模糊模型

A Fuzzy Model of Safety-critical Software Safety Evaluation