首页> 美国政府科技报告 >Source Code Security Analysis Tool Functional Specification Version 1.0

【24h】

Source Code Security Analysis Tool Functional Specification Version 1.0

机译：源代码安全分析工具功能规范版本1.0

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Software assurance tools are a fundamental resource for providing an assurance argument for today's software applications throughout the software development lifecycle. Some tools analyze software requirements, design models, source code, or executable code to help determine if an application is secure. This document specifies the behavior of one class of software assurance tool: the source code security analyzer. Because many software security weaknesses today are introduced at the implementation phase, using a source code security analyzer should help assure that software doesn't have many security vulnerabilities. This specification defines a minimum capability to help software professionals understand how a tool will meet their software security assurance needs.

著录项

作者
Black, P. E.;
展开▼
作者单位

展开▼
年度 2007
页码 p.1-14
总页数 14
原文格式 PDF
正文语种 eng
中图分类工业技术 ;
关键词
Computer security; Computer systems programs; Specifications; Software assurance; Design; Models; Sources; Vulnerability; Software tools; Implementation;

机译：计算机安全;计算机系统程序;规范;软件保障;设计;模型;来源;漏洞;软件工具;实施;

相似文献

外文文献
中文文献
专利

1. Static analysis of source code security: Assessment of tools against SAMATE tests [J] . Gabriel Diaz, Juan Ramon Bermejo Information and software technology . 2013 ,第8期

机译：静态分析源代码安全性：评估针对SAMATE测试的工具
2. Code Analysis for Software and System Security Using Open Source Tools [J] . Chandrapal Chahara Vishal Singh Chauhana, Manik Lal Das* Information Security Journal: A Global Perspective . 2012 ,第6期

机译：使用开源工具进行软件和系统安全性的代码分析
3. Code Analysis for Software and System Security Using Open Source Tools [J] . Chandrapal Chahar, Vishal Singh Chauhan, Manik Lal Das Information security journal . 2012 ,第6期

机译：使用开源工具进行软件和系统安全性的代码分析
4. Reverse Transformation of Normed Source Code: Development of a Tool to Demonstrate the Functional Equivalence of Normed source Code with its Specification [C] . Horst Miedl Conference on probabilistic safety assessment and management . 1996

机译：规范源代码的反向转换：开发一种工具来证明规范源代码的功能等效性及其规范
5. The derivation of functional specifications from source code. [D] . Pak, Suehee. 1994

机译：从源代码派生功能规范。
6. Genome-wide functional analysis using the barcode sequence alignment and statistical analysis (Barcas) tool [O] . Jihyeob Mun, Dong-Uk Kim, Kwang-Lae Hoe, 2016

机译：使用条形码序列比对和统计分析（Barcas）工具进行全基因组功能分析
7. : "This paper deals with the functionality of the flaked stone assemblages from several Neolithic sites of the NE of the Iberian Peninsula. The chronological framework ranges from the mid-6th to the mid-4th millennium cal. BCE, which corresponds to the Early and Middle Neolithic. This long period ranges from the arrival of the first farming communities in the Iberian Peninsula, around 5600-5500 cal. BCE, to 3600-3500 cal. BCE, two millennia later, when Neolithic communities had stably occupied most of the available territory, from the mountainous areas of the Pyrenees to the coastal areas of the Mediterranean.In this context, the NE of the Iberian Peninsula is one of the areas where a major number of use-wear analyses have been carried out, especially for what concerns the Neolithic period. This is mainly due to the interest shown by the directors of the excavations and by the Spanish use-wear specialists as well; both participated and cooperated in order to enlarge the number of contexts studied, making the NE of the Iberian Peninsula one of the areas of Europe with the largest number of ‘functional studies’. As a result, today we have a reliable picture of the type of lithic tools used by the first farming groups, how they were used, and which needs they were satisfying.The methodology employed for this type of analysis is today broadly shared by most use-wear specialists. A stereoscopic microscope is used together with a reflected-light microscope for the analysis of the archaeological specimens. Afterwards, the observed use-wear traces are compared with the traces from experimental tools. This study primarily made use of the tools preserved at the ‘Traceoteque’ of the Institución Milà y Fontanals of the CSIC of Barcelona.This paper presents the results obtained for the different types of analysed sites and the relative lithic assemblages. In this way, tools from different contexts are compared: open-air sites, caves and rock-shelters, pit-sites, burials, and mining sites. Such a diversity of contexts allowed for the exploration of the existence of recurrences and differences in the functionality of the lithic tools from one site to another. The results obtained have also provided information on some aspects related to the economic processes carried out at the different sites, caves, rock-shelters and open-air contexts. It has been possible to gain fresh data on the types of tasks carried out and their relative importance for each site, their relation with the geographical and environmental context and the natural resources available there. In addition, analysing tools recovered from burials – mainly individual inhumations – provided information on the relationships between the buried individuals and the working tools, in particular exploring the relationships between sex and age patterns and the types of tools deposited as goods.In conclusion, use-wear analysis allowed for the exploration of a variety of issues; from technical aspects related to the production and management of the lithic resources to social aspects related to the subsistence activities and the individuals that carried them out." [O] . Gibaja Bao, Juan Francisco, Mazzucco, Niccolo 2015

机译：：“本文研究了伊比利亚半岛东北部几个新石器时代遗址的片状石材组合的功能。时间框架从公元前6世纪中叶到4世纪中叶，分别对应于早期和早期。新石器时代中期，这段时间的长短是从伊比利亚半岛的第一个农业社区到来，大约在公元前5600-5500 cal，到了两千年后的3600-3500 BCE，当时新石器时代的社区稳定地占据了大部分可用土地。从比利牛斯山脉山区到地中海沿岸地区。在这种情况下，伊比利亚半岛东北部是进行过大量使用磨损分析的地区之一，尤其是在关注方面新石器时代，这主要是由于发掘负责人和西班牙使用服装专家表现出的浓厚兴趣；他们参与和合作以扩大孔蒂的数量xts进行了研究，使伊比利亚半岛的NE成为“功能研究”数量最多的欧洲地区之一。结果，今天我们可以可靠地了解第一批耕作小组使用的石器工具的类型，使用方法以及它们满足的需求。今天，大多数使用方法广泛共享用于这种类型的分析的方法穿专家。立体显微镜与反射光显微镜一起用于分析考古样本。然后，将观察到的使用磨损痕迹与实验工具的痕迹进行比较。这项研究主要利用了巴塞罗那CSIC的米拉·丰塔纳尔研究所的“ Traceoteque”中保存的工具。本文介绍了针对不同类型的分析地点和相对石器组合所获得的结果。通过这种方式，可以比较来自不同环境的工具：露天场所，洞穴和岩石避难所，露天场所，埋葬场所和采矿场所。如此多样的上下文允许探索重复性的存在以及从一个站点到另一个站点的石器工具的功能差异。所获得的结果还提供了与在不同地点，洞穴，避难所和露天环境中进行的经济过程有关的某些方面的信息。可以获得有关所执行任务的类型及其对每个站点的相对重要性，它们与地理和环境环境以及那里可用自然资源的关系的新数据。此外，对从墓葬中回收的工具（主要是个人遗体）进行分析，可提供有关被掩埋的个体与工作工具之间关系的信息，尤其是探索性别与年龄模式之间的关系以及作为商品存放的工具的类型。磨损分析允许探索各种问题；从与石器资源的生产和管理有关的技术方面到与自给活动及其实施者有关的社会方面。”

Source Code Security Analysis Tool Functional Specification Version 1.0

摘要

著录项

相似文献

相关主题

期刊订阅