CloudSafe: A Tool for an Automated Security Analysis for Cloud Computing
云计算已被广泛采用，它提供按需计算资源，以提高性能并降低运营成本。然而，这些新功能也带来了利用云计算环境的新方法。为了评估云的安全性，可以使用图形安全模型，例如攻击图和攻击树。然而，现有的模型并没有考虑所有类型的威胁，而且自动化的安全评估功能是困难的。在本文中，我们提出了一个新的安全评估工具，云命名为CloudSafe，一个自动化的云安全评估。CloudSafe工具整理了各种工具和框架，以自动化安全评估过程。为了证明CloudSafe的适用性，我们在Amazon AWS上进行了安全评估，实验结果表明，我们可以有效地收集云的安全信息，并进行安全评估以生成安全报告。用户和云服务提供商可以使用CloudSafe生成的安全报告来了解正在使用/提供的云的安全状况。
2019-03-11 cs.CR
Security Assessment Rating Framework for Enterprises using MITRE ATT&CK Matrix
针对网络空间的威胁日益突出和智能化。这必然导致对持续安全验证和测试的迫切需求。使用本文，我们的目标是为组织提供一个全面而精确的安全分析评级框架，以提高此类测试结果的整体一致性。该记分卡基于根据全球可访问的对手战术和技术知识库（称为MITRE ATTACK矩阵）进行的安全评估。评估的记分卡是通过将安全测试结果整合到我们的框架中来生成的，该框架提供了组织的总体风险评估评级以及与攻击矩阵中的每种不同策略相关的风险。
2021-08-14 cs.CR
Why 2 times 2 ain't necessarily 4 - at least not in IT security risk assessment
最近，IEC 62443-3-2草案提出了一种半定量IT安全风险评估的新方法。从嵌入整体标准系列、语义和方法论等角度对这一方法进行了分析。结果，暴露出该方法的几个系统性缺陷。作为前进的方向，提出了一种替代方法，将半定量风险评估以及威胁和风险分析结合在一起。
2016-03-11 cs.CR
Towards Interdependent Safety Security Assessments using Bowties
我们提出了一种方法来结合使用领结图的安全和安全评估。Bowties模型的原因导致了一个中心的故障事件和后果，从该事件产生的，以及阻碍事件的障碍。蝴蝶结以前被单独用于安全和安全评估，但我们建议在一个单一的模型中进行统一的处理，可以优雅地捕捉几种安全的相互依赖性。我们以2021年10月Facebook DNS关闭为例展示了我们的方法，检查了事件链以及导致中断的安全和安全屏障之间的相互作用。
2022-08-06 cs.CR cs.SE
Towards an IT Security Risk Assessment Framework for Railway Automation
最近的一些事件表明，铁路自动化中IT系统的脆弱性可能被低估了。幸运的是，到目前为止，几乎只有拒绝服务攻击成功，但由于一些趋势，如使用商业信息技术和通信系统或私有化，威胁潜力可能在不久的将来增加。然而，到目前为止，没有统一的IT安全风险评估框架的铁路自动化存在。本文定义了一个IT安全风险评估框架，旨在尽可能将IT安全和安全要求以及认证过程分开。它建立在IEC 62425的众所周知的安全和批准流程的基础上，并集成了基于ISA 99/IEC 62443标准系列的IT安全要求。虽然详细结果与铁路自动化有关，但一般概念也适用于其他安全关键应用领域。
2017-04-04 cs.CR
Hardware/Software Security Patches for Internet of Trillions of Things
随着物联网的快速发展，出现了许多交互设备和应用。一个关键的挑战是如何提供安全。我们的新方向建议是创建“智能按钮”和称为“智能毯子”的集合，作为硬件/软件安全补丁，而不是软件补丁。
2019-03-12 cs.CR
Challenges for Security Assessment of Enterprises in the IoT Era
多年来，攻击图一直是企业网安全评估的重要工具，但物联网设备作为IT领域的新成员，可能会威胁到这一工具的可靠性。在本文中，我们回顾了使用攻击图来建模和分析包含物联网设备的企业网时必须解决的挑战。此外，我们提出了新的想法和对策，旨在应对这些挑战。
2019-06-26 cs.CR
Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics
Alias Robotics S.L.（Alias Robotics 有限公司）；University of Twente（特文特大学）
机器人在社会中获得了相关性，越来越多地执行关键任务。机器人的安全性被低估了。机器人安全是一个复杂的领域，它往往需要一个跨学科的视角，而经典安全则落后于此。为了解决这个问题，我们提出了机器人安全框架（RSF），在机器人中进行系统的安全评估的方法。我们提出、调整和开发特定术语，并提供指导方针，以实现以下四个主要层（物理、网络、固件和应用程序）的整体安全评估。我们认为，现代机器人技术应视为同样相关的内部和外部通信安全。最后，我们反对“模糊的安全”。我们的结论是，在机器人安全领域值得进一步的研究工作。
2021-11-12 cs.CR cs.RO
Data-driven software security: Models and methods
对于计算机软件，我们的安全模型、策略、机制和保证手段主要是在20世纪70年代末之前构思和开发的。然而，从那时起，软件已经发生了根本性的变化：它比以前大了数千倍，包含了无数的库、层和服务，并且以更复杂的方式用于更多的目的。值得重新审视我们的核心计算机安全概念。例如，当软件过于复杂，开发人员或用户无法解释其预期行为时，最小重复原则是否可以帮助规定安全策略还不清楚。本文概述了一个数据驱动的软件安全模型，该模型对现代软件采用经验性的数据驱动方法，并通过全面的在线监控确定其确切的具体行为。具体而言，本文简要介绍了有效的方法，详细的软件监控，以及学习详细的软件统计数据，同时为用户提供差分隐私的方法，最后，机器学习方法可以帮助发现用户的预期软件行为，从而帮助设置安全策略。这些方法可以在实践中采用，即使是在非常大的规模上，并证明数据驱动的软件安全模型可以提供现实世界的好处。
2016-05-27 cs.CR
Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis
在本文中，我们提出了云属性图（CloudPG），它弥合了静态代码分析和云服务的运行时安全评估之间的差距。CloudPG能够解析部署在不同资源上的云应用程序之间的数据流，并将图形与运行时信息（如加密设置）相关联。为了提供云服务安全态势的供应商和技术独立的表示，该图基于云资源、其功能和安全特性的本体。我们通过一个示例展示了我们的CloudPG框架可以被安全专家用来识别他们的云部署中的弱点，这些部署跨越了多个供应商或技术，例如AWS、Azure和Kubernetes。这包括错误配置，例如受GDPR等法规限制的云服务中的公共可访问存储或不需要的数据流。
2022-06-14 cs.CR
Adding Salt to Pepper: A Structured Security Assessment over a Humanoid Robot
互联、数字化、机器人和人工智能（AI）的兴起正在迅速改变我们的社会，并塑造其未来发展。在这场技术和社会革命中，安全一直被忽视，但被黑客攻击的机器人可以在组织、行业、公共空间和私人住宅中构成内部威胁。在本文中，我们对商用人形机器人Pepper进行了结构化安全评估。我们的分析由自动化和手动部分组成，指出了可用于接管和命令机器人的相关安全漏洞。此外，我们建议如何解决这些问题，从而在未来避免。这项工作的最终目的是在物联网产品在公开市场上销售之前推动物联网产品安全级别的提升。
2018-07-04 cs.CR
Connectedness: a dimension of security bug severity assessment for measuring uncertainty
针对现有安全漏洞严重程度评估框架（如CVSS）无法充分应对多利用路径、副作用带来的不确定性问题，提出连通性概念以衡量漏洞与实体的关联强度，填补了该评估维度的研究空白。
2025-03-22 cs.CR
Reproducing a Security Risk Assessment Using Computer Aided Design
本文通过基于模型的安全设计工具复现已发表的安全风险评估案例，对比计算机辅助与非计算机辅助方法，展示其在严谨性、可持续性及对从业者和研究人员的价值。
2025-09-20 cs.CR cs.SY eess.SY
Holistic Hardware Security Assessment Framework: A Microarchitectural Perspective
我们的目标是从微体系结构的角度实现整体硬件安全评估。为了实现这一目标，我们提出了一个框架，分类的基础上被瞄准的微架构组件的威胁模型，并提供了一个通用的安全度量，可用于评估组件的脆弱性，以及作为一个整体的系统。
2021-10-19 cs.AR cs.CR
Designing a Cyber-security Culture Assessment Survey Targeting Critical Infrastructures During Covid-19 Crisis
本文介绍了一项调查的设计，旨在对COVID-19危机期间的关键基础设施进行网络安全文化评估，当时生活现实受到严重干扰，工作条件受到根本影响。该调查基于安全文化框架，分为组织和个人两个层面，并进一步分析了由52个领域组成的10个不同的安全维度。一个深入的问卷建设分析，重点是目的，目标和预期成果。报告最后介绍了调查的实施方法，同时强调了该框架的首次应用及其在全球危机中的深刻见解。
2021-02-05 cs.CR
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security
描述攻击者在网络物理系统中的行为对于确保这些系统的安全态势和恢复能力非常重要。传统的网络脆弱性评估方法依赖于网络安全专家的知识和经验来进行安全分析，在缺乏专家知识和经验的情况下可能不一致。本文提出了一种灵活的攻击者建模框架，通过模拟不同的攻击者行为来预测攻击进展并提供一致的系统漏洞分析，从而帮助进行安全分析。该模型提出了一种扩展的漏洞数据库架构，以最大限度地提高其有效性和一致性，在检测CPS漏洞，同时与现有的漏洞数据库兼容。该模型具有针对实际或虚拟CPS实施和模拟的能力。攻击者模型的执行被证明对模拟的工业控制系统架构，导致攻击者行为的概率预测。
2021-03-16 cs.CR
An Introduction to Adaptive Software Security
本文提出自适应软件安全模型，将MAPE-K循环与SDLC结合，主动嵌入安全策略以减少漏洞，实现安全与敏捷开发的持续改进。
2023-12-28 cs.CR cs.SE
E-Net Models of a Software System for Web Pages Security SECURITY
本文提出了网页密码保护的解决方案。这些解决方案包括作者在保加利亚武装部队自动化信息系统中开发和实施信息安全系统的经验。对体系结构、模型和方法进行了解释。
2010-11-02 cs.CR
A Security Risk Assessment Framework for AI-Powered Development Tools
College of Computer and Information Sciences, Imam Mohammad Ibn Saud Islamic University (IMSIU)（伊玛目穆罕默德·本·沙特伊斯兰大学计算机与信息科学学院）
本文提出安全风险评估框架SRF，结合威胁建模与定量分析，评估AI生成代码风险，发现风险因任务类型而异，实现可重复评估。
2026-09-17 cs.CR
Security Assessment of the LG Cryptosystem
本文对2019年提出的LG公钥加密体制进行密码分析，发现其部分参数安全性被高估，并存在弱密钥，使攻击者能在多项式时间内找到等效私钥。
2024-11-14 cs.CR
Evaluating Software Supply Chain Security in Research Software
本研究利用OpenSSF Scorecard分析3248个研究软件仓库，发现其供应链安全态势薄弱（平均3.5/10），并提出低成本改进建议以保障科学完整性。
2025-08-05 cs.CR cs.SE
Security Assessment and Hardening of Fog Computing Systems
本文回顾雾计算架构与技术，提出安全配置、精简、通信测试及固件自动化重宿主等安全评估与加固方法，以应对去中心化带来的安全挑战。
2023-08-24 cs.CR
The E-net model for the Risk Analysis and Assessment System for the Information Security of Communication and Information Systems ("Defining" Subsystem)
本文提出了一个建议，包括作者的经验，在保加利亚武装部队的自动化信息系统的信息安全系统的开发和实施。提出了通信信息系统信息安全风险分析与评估系统的体系结构。提出了“定义”子系统的E-net模型，作为一种工具，允许检查子系统。这种方法可以成功地应用于商业领域的通信和信息系统。
2010-09-03 cs.CR
Integrated Solution Modeling Software: A New Paradigm on Information Security Review and Assessment
事实上，信息安全已成为组织无形资产的重要组成部分，因此信任度和利益相关者信任度是组织成功的绩效指标。由于信息安全在支持组织的活动方面起着非常重要的作用，因此我们需要一个规范信息安全治理的标准或基准。本文的主要目的是实现一种新的实用方法框架的信息安全管理系统（ISMS）的评估和监控软件的发展，称为I-SolFramework。系统/软件预计将帮助利益相关者评估其ISO27001合规准备程度，该软件可以帮助利益相关者了解安全控制或通过合规参数调用，更短，更结构化。该案例研究为读者提供了一套指南，旨在易于理解和适用，作为ISMS标准（ISO27001）合规性的测量工具。
2012-03-28 cs.CR
Structuring a Comprehensive Software Security Course Around the OWASP Application Security Verification Standard
软件从业人员缺乏安全专业知识是一个有许多影响的问题。首先，安全专业人员短缺，无法满足当前的需要。此外，即使不打算从事安全工作的从业人员也可以从对安全的更多理解中受益。本文的目的是通过分享第十一次软件安全课程的运行经验，帮助软件工程教育工作者设计一门综合性的软件安全课程。通过运行软件安全课程的所有十一年，课程目标是全面的-从安全测试，安全设计和编码，安全要求到安全风险管理。在第十一年，课程作业的主题是将漏洞发现映射到开放式Web应用程序安全项目（OWASP）应用程序安全验证标准（ASVS）的安全控制。根据学生在最终探索性渗透测试项目中的表现，这种映射可能增加了学生对更广泛的安全主题的理解深度。在OpenMRS项目中，学生们在三个小时的时间内有效地检测到了28种不同的常见弱点枚举（CWE）类型的191个独特和经过验证的漏洞，OpenMRS项目是一个正在使用的电子健康记录应用程序。
2021-03-08 cs.CR cs.SE
PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols
一个简单的错误就可能导致当今大型单片软件的所有安全性受到全面损害。软件的分区可以帮助简化代码审查和验证，而软件组件的隔离执行可以限制不正确实现的影响。然而，现有的应用程序分区技术太昂贵，太不精确，或涉及不安全的手动步骤。目前还没有一种自动而安全的方法来将安全协议分解为基于组件的系统。我们提出了一种方法和工具集，自动隔离安全相关的软件到一个无限数量的分区，根据所需的安全保证部署的加密构建块。由于分区会带来通信开销，我们提供了一系列合理的性能优化。此外，通过将我们的方法应用于安全消息传递协议OTR，我们证明了它的适用性，并实现了可信计算基础的显着减少。与单片实现相比，只有29%的分区协议需要机密性保证，其进程开销与常见的沙箱技术相当。
2017-06-15 cs.CR
TELSAFE: Security Gap Quantitative Risk Assessment Framework
本文提出TELSAFE混合风险评估框架，通过概率建模实现定量评估并消除专家偏差，涵盖定性与定量阶段，并以CVE数据用例验证其在电信行业的适用性。
2025-07-09 cs.CR cs.SE
Browser Security Posture Analysis: A Client-Side Security Assessment Framework
本文提出完全运行于浏览器内的JavaScript/WebAssembly安全评估框架，通过120多项原位测试诊断客户端安全策略，并在多浏览器与企业场景中验证其发现。
2025-05-12 cs.CR
Measurements of the Most Significant Software Security Weaknesses
在这项工作中，我们提供了一个指标来计算最重要的软件安全漏洞，这些漏洞由相关漏洞的频率，可利用性和影响的聚合指标定义。常见弱点枚举（CWE）是一个众所周知的软件安全弱点列表。CWE社区发布了这样一个汇总指标来计算“最危险的软件错误”。然而，我们发现，公布的公式高度偏见的频率，几乎忽略了利用和影响，在产生不同规模的顶级名单。这是由于分量度量值的分布的差异。为了减轻这种情况，我们使用双对数函数线性化频率分布。然后，我们提出了各种其他改进措施，提供了2019年最重要的CWE列表，对已识别的软件安全漏洞进行了分析，并将其与之前发布的列表进行了比较。
2021-04-12 cs.CR
Security in Online Freelance Software Development: A case for Distributed Security Responsibility
本文针对在线自由职业开发者安全实践不足且责任过度集中的问题，回顾文献并提出分布式安全责任观点与系统化研究议程。
2023-07-12 cs.CR cs.CY
Software Unclonable Functions for IoT Devices Identification and Security
针对物联网中合法与受攻击设备区分的关键挑战，本研究在提出的软件不可克隆函数（SUFs）框架下，探究基于硬件性能计数器（HPC）的签名的唯一性有效性，为设备识别与安全提供技术支撑。
2025-08-25 cs.CR
Role of Free and Open Source Software in Computer and Internet Security
无可否认，随着计算机和互联网在我们日常生活中的广泛使用，信息和数据的安全性越来越受到关注。以电子表格形式储存的信息更容易被有意或无意地泄露给未经授权的个人。这种安全漏洞的主要原因之一是由于专有软件的来源只提供给制造它的公司。因此，您不能保证专用和预编译的软件没有漏洞，可以帮助个人破坏您的计算机或网络的安全。自由和开源软件的哲学为每个人提供了一个机会，可以查看任何可能的漏洞的源代码，并根据自己的需要编译和修改它。本文将通过一些例子以及一些有助于维护计算机和互联网安全的开源工具来详细讨论这一理念。
2016-10-03 cs.CR
Secure Scrum: Development of Secure Software with Scrum
如今，敏捷软件开发方法的使用，如Scrum，在工业界和学术界很常见。考虑到当前的攻击环境，很明显，开发安全软件应该是所有软件开发项目的主要关注点。在传统的软件项目中，安全问题需要在初始规划阶段进行详细规划，通常会导致详细的安全分析（例如，威胁和风险分析）、安全体系结构，以及用于安全实现的指令（例如，密钥大小和要使用的密码算法的规范）。敏捷软件开发方法，如Scrum，以减少初始规划阶段而闻名（例如，sprint 0），以及更专注于生成运行代码。Sign还以允许新兴软件快速适应客户愿望的变化而闻名。对于安全性而言，这意味着从项目一开始就可能没有详细的安全架构或安全实施说明。这也意味着许多设计决策将在项目运行时做出。因此，要解决软件开发中的安全问题，有必要在整个软件开发过程中考虑安全问题。Secure Sockets是Sockets框架的一个变体，特别关注在整个软件开发过程中安全软件的开发。它强调了安全相关问题的实现，而不需要改变底层的安全流程或影响团队动态。Secure Sourcing甚至允许非安全专家发现安全问题，实现安全功能，并验证实现。对安全软件包的现场测试表明，使用安全软件包开发的软件的安全级别高于使用标准软件包开发的软件的安全级别。
2015-07-10 cs.CR cs.SE
Software Supply Chain Security of Web3
KTH Royal Institute of Technology（皇家理工学院）
研究Web3生态系统中软件供应链安全问题，分析威胁并提出缓解策略以增强安全性。
2025-11-15 cs.CR cs.SE
Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
University of Alabama（阿拉巴马大学）
本研究针对自动驾驶汽车开源软件供应链的安全风险问题，使用静态分析工具检测Autoware、Apollo、openpilot等主流开源项目的漏洞并对比结果，呼吁在开发生命周期早期落实安全实践以降低网络安全风险。
2025-09-21 cs.CR
An In-Depth Security Assessment of Maritime Container Terminal Software Systems
对软件系统的攻击每天都在世界范围内发生，目标包括个人、公司和政府。促进海运的系统面临严重中断的风险，这些中断可能源于这些系统中使用的软件和流程的漏洞。这些漏洞使这些系统容易受到网络攻击。对海运系统安全的评估侧重于确定风险，但没有采取关键的（和昂贵的）下一步，即实际确定这些系统中存在的漏洞。虽然这种风险评估很重要，但没有详细查明控制这些港口及其码头的系统中的安全问题。作为回应，我们在一个经验丰富的学术网络安全团队和一个管理海运的知名商业软件提供商之间建立了一个重要的合作关系。我们对海运过程中涉及的信息流进行了分析，然后对管理货运系统的软件进行了深入的脆弱性评估。在本文中，我们展示了货运过程中涉及的信息流，并解释了我们如何进行深入评估，总结了我们的发现。与所有大型软件系统一样，海运系统也存在漏洞。
2020-06-22 cs.CR
Secure Software Development Methodologies: A Multivocal Literature Review
本文通过多来源文献综述梳理了28种安全软件开发方法学中的安全实践，涵盖技术与非技术层面，并指出当前研究空白，为改进软件安全、减少漏洞提供参考。
2023-07-04 cs.CR
On Runtime Software Security of TrustZone-M based IoT Devices
物联网（IoT）设备已经越来越多地融入我们的日常生活。然而，这样的智能设备遭受广泛的攻击面。特别是，如果物联网设备使用资源受限的微控制器（MCU），则在运行时针对设备软件的攻击具有挑战性。TrustZone-M是MCU的TrustZone扩展，是一种新兴的安全技术，可增强基于MCU的物联网设备。本文首次对启用TrustZone-M的MCU中的潜在软件安全问题进行了安全分析。我们探讨了基于堆栈的缓冲区溢出（BOF）攻击的代码注入，面向返回的编程（ROP）攻击，基于堆的BOF攻击，格式字符串攻击，和攻击非安全可调用（NSC）的上下文中的TrustZone-M的功能。我们使用启用TrustZone-M的SAM L11 MCU验证这些攻击。还讨论了减轻这些软件攻击的策略。
2020-07-12 cs.CR
The Effect of Security Education and Expertise on Security Assessments: the Case of Software Vulnerabilities
尽管软件安全的重要性日益增加，行业对劳动力中更多网络安全专业知识的需求也越来越大，但安全教育和经验对评估复杂软件安全问题能力的影响最近才被调查。作为全方位软件安全技能的代表，我们考虑了通过工业中广泛使用的结构化分析方法来评估软件漏洞严重性的问题（即通用漏洞评分系统（\CVSS）v3），并设计了一项研究，以比较具有信息技术背景但在网络安全方面具有不同专业经验和教育的个人评估软件漏洞的严重性。我们的研究结果提供了一些结构性的见解评估员的教育或经验和他们的评估质量之间的复杂关系。特别是，我们发现个人特征比专业经验或正规教育更重要;显然，一个人拥有的技能（包括所研究系统的实际知识）的\emph{combination}，而不是专业或多年的经验，对评估质量的影响更大。同样，我们发现，专业知识所带来的整体优势在很大程度上取决于个人安全技能的构成以及可用的信息。
2018-08-20 cs.CR cs.CY
Establishing a Baseline of Software Supply Chain Security Task Adoption by Software Organizations
本研究通过访谈61名从业者，发现软件组织在供应链安全前已成熟采用基础任务，而针对组件和构建基础设施的新任务采用不足，需优先推进。
2025-09-09 cs.CR
An Empirical Study on Virtual Reality Software Security Weaknesses
针对 VR 软件安全研究不足，本文提出从 GitHub 提交数据收集安全弱点的框架，构建首个系统性数据集，并基于 334 个项目和 1,681 个弱点揭示其类型、引入时机与风险分布。
2025-07-24 cs.CR
A Survey on Human and Personality Vulnerability Assessment in Cyber-security: Challenges, Approaches, and Open Issues
如今，网络犯罪分子的目标是人类而不是机器，因为他们试图通过利用最终用户的弱点来实现他们的恶意意图。因此，人为漏洞对计算机系统和数据的安全性和完整性构成严重威胁。人类信任和帮助他人的倾向，以及个人、社会和文化特征，都表明了一个人可能对某些攻击类型和欺骗策略表现出的易感性水平。本工作旨在通过研究现有的相关文献，探讨影响人类易感性的因素。其目的还在于探索和描述最先进的人类脆弱性评估模型、当前预防和减轻用户易感性的方法，以及教育和提高认识的培训战略。在文献回顾之后，得出了几个结论。其中，人类脆弱性评估已被纳入旨在评估组织网络安全能力的各种框架中，但它涉及一次性评估，而不是持续的实践。此外，当前的人类脆弱性评估框架仍然忽视了人类恶意;因此，内部威胁行为者逃避识别，这可能导致网络安全风险增加。最后，本研究提出了一个用户易感性档案，根据我们的研究所产生的因素。
2021-06-24 cs.CR
Automatic Security Assessment of GitHub Actions Workflows
对快速可靠的DevOps操作的需求推动了存储库平台的分销商实施工作流。工作流程允许直接在托管软件的存储库上自动化代码管理操作。然而，这个特性也引入了直接影响存储库、其内容以及托管代码所涉及的所有软件供应链的安全问题。因此，利用易受攻击的工作流的攻击可能会破坏大型软件生态系统。为了实证评估这个问题的重要性，在本文中，我们专注于事实上的主要分销商（即，GitHub），我们为GitHub Actions工作流程开发了一种安全评估方法，该方法在软件供应链中得到广泛采用。我们在一个工具（GHAST）中实现了该方法，并将其应用于50个开源项目。实验结果令人担忧，因为它们允许确定总共24，905个安全问题（所有问题都报告给相应的利益相关者），从而表明问题是开放的，需要进一步研究和调查。
2022-11-10 cs.CR
SoK: A Defense-Oriented Evaluation of Software Supply Chain Security
本文提出面向防御的AStRA模型，系统评估软件供应链安全，识别安全目标并验证，指出研究空白以促进安全设计工具开发。
2024-05-29 cs.CR
What is Software Supply Chain Security?
软件供应链涉及大量工具和流程，使软件开发人员能够编写、构建和发布应用程序。最近，工具或流程的安全性妥协导致了解决这些问题的提案激增。然而，这些建议通常过分强调具体的解决方案或混淆目标，导致意想不到的后果，或定位和用途不明确。在本文中，我们提出的情况下，制定切实可行的解决方案是不可能的，直到社区有一个整体的安全问题的看法，这种看法必须包括技术和程序方面。为此，我们研究了三个用例，以确定共同的安全目标，并提出了一个面向目标的分类现有的解决方案，展示了软件供应链安全的整体概述。
2022-09-08 cs.CR cs.SE
Software as a Service: Analyzing Security Issues
软件即服务（SaaS）是一种软件服务交付模式，它包含了广泛的商业机会和挑战。用户和服务提供商不愿意将他们的业务集成到SaaS中，因为它的安全性问题，同时他们也被它的好处所吸引。本文重点介绍了SaaS在不同环境中的实用性和适用性，如云计算、移动云计算、软件定义网络和物联网。然后，它开始分析SaaS安全挑战，包括数据安全、应用程序安全和SaaS部署安全。详细回顾了现有的主流解决方案，以解决映射到不同的SaaS安全挑战的相应安全问题。最后，可能的解决方案或技术，可以应用在串联的安全SaaS平台。
2015-05-07 cs.CR cs.SE
The Use of Application Scanners in Software Product Quality Assessment
软件开发需要持续的质量控制，以便及时发现和消除质量问题。这包括频繁的质量评估，这需要尽可能自动化才可行。评估软件安全性的一种自动化方法是应用程序扫描器，它测试正在执行的软件的漏洞。目前，一般的质量评估并没有将这种扫描仪结合起来，以提供一个全面的质量说明。本文提出了一种集成的应用程序扫描到一个通用的质量评估方法的基础上显式的质量模型和贝叶斯网。它的适用性和常见的扫描仪的检测能力进行了调查的案例研究与两个开源的网络商店。
2016-11-21 cs.CR cs.SE
Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
本文通过访谈和Reddit数据分析发现，尽管存在安全担忧，软件专业人员仍广泛使用AI助手执行代码生成等安全关键任务，并建议各方批判性检查建议、提升安全能力及深入研究通用AI应用。
2024-10-14 cs.CR cs.SE
The risk assessment and treatment approach in order to provide lan security based on isms standard
局域网（LAN）目前已成为组织中组织过程和信息交流的重要工具。它们提供了重要的目的，如大量数据，硬件和软件资源的关联和扩展的最佳通信。由于这些网络都是以有价值的信息为工作对象的，因此提供安全保障的问题是组织中的一个重要问题。因此，在组织中建立一个信息安全管理体系（ISMS）具有重要的意义。本文介绍了ISMS及其在局域网中的实现。局域网的资产和这些资产的威胁和脆弱性进行了识别，风险进行评估和技术，以减少他们，并在结果的网络的安全建立表示。
2012-12-20 cs.CR
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
嵌入有易受攻击的单片软件的无人机（UAV）的激增最近引起了人们对其安全性的严重关注，这是由于并发方面和脆弱的通信链路。然而，基于传统测试验证无人机软件的安全性仍然是一个开放的挑战，主要是由于可扩展性和部署问题。在这里，我们调查软件验证技术来检测典型的无人机的安全漏洞。特别是，我们调查现有的软件分析器和验证器，实现模糊和有界模型检验（BMC）技术，检测内存安全和并发错误。我们还调查了与无人机通信链路相关的脆弱性方面。所有无人机部件（例如，位置、速度和姿态控制）严重依赖于通信链路。我们的初步结果表明，模糊和BMC技术可以检测各种软件漏洞，这是特别感兴趣的，以确保无人机的安全。我们能够通过对无人机的连接和软件系统进行渗透测试，成功地进行网络攻击。因此，我们展示了真实的网络威胁，并有可能在可预见的未来利用现实世界无人机软件中的进一步安全漏洞。
2019-10-11 cs.CR cs.LO
Quantifying Cybersecurity Effectiveness of Software Diversity
部署单一文化的软件堆栈可能会造成毁灭性的损害，即使是针对一个漏洞的一次攻击。受生物多样性的弹性效益的启发，软件多样性的概念在安全领域被提出。虽然软件多样性可以增强安全性是直观的，但其有效性尚未进行定量研究。目前，还没有理论或实证研究已经探索，以衡量网络多样性的安全有效性。在本文中，我们为最终解决这个问题迈出了第一步。我们提出了一个系统的框架，可以建模和量化的网络多样性的安全有效性。我们进行模拟，以证明该框架的实用性。与直觉相反，我们表明，从整个网络的角度来看，多样性并不一定能提高安全性。这种现象的根本原因是，多样化的软件实现中的脆弱性程度在决定软件多样性的安全有效性方面起着至关重要的作用。
2021-11-19 cs.CR
Cyber Security in Cloud: Risk Assessment Models
本文提出了云风险评估模型应具有的特征，并对考虑这些特征的文献进行了回顾，以确定当前的差距。这项工作显示了云RA模型的排名及其与理论参考云风险评估模型的符合程度。文献回顾表明，RA方法利用CSA（云安全联盟）STAR注册表，已考虑到组织的安全要求，呈现出更高的合规程度，但他们仍然缺乏风险经济量化。尽管基于当前NIST SP 800：30、ISO 27001、ISO 27005、ISO 30001、ENISA标准的概念模型、方法和框架数量众多，但可以通过使用技术经济模型（如作者创建的UTEM）来增强，以便构思更简化的模型，用于有效的风险评估和缓解，更接近云风险评估的理论参考模型，适用于所有云模型（IaaS、PaaS、SaaS），并且易于所有利益相关者使用。
2021-06-19 cs.CR cs.NI
Measuring Software Diversity, with Applications to Security
在这项工作中，我们简要地介绍和讨论了一些多样性措施中使用的生态学。在对最相关的指数进行了简要的描述和分析之后，我们挑选出了香农-韦纳指数。我们证明了为什么它是最翔实和相关的一个衡量软件的多样性。然后，我们将展示如何使用它来有效地评估各种真实的软件生态系统的多样性。我们在这个过程中发现了一个经常被忽视的软件垄断，以及它的关键安全问题。最后，我们从所获得的结果中提取一些结论，主要集中在其安全影响上。
2013-10-11 cs.CR cs.SE
An Empirical Assessment of Endpoint Security Systems Against Advanced Persistent Threats Attack Vectors
高级持续性威胁对蓝队构成了重大挑战，因为他们长时间应用各种攻击，阻碍了事件关联及其检测。在这项工作中，我们利用各种不同的攻击场景来评估EDR和其他端点安全解决方案对检测和预防APT的有效性。我们的研究结果表明，仍然有很大的改进空间，因为最先进的端点安全系统无法防止和记录本工作中报告的大部分攻击。此外，我们还讨论了篡改EDR遥测提供商的方法，使对手能够执行更隐蔽的攻击。
2022-01-11 cs.CR
