Security checklist for IaaS cloud deployments
在本文中，我们为IaaS云部署提供了一个云安全检查表。清单的要素是通过调查有关云威胁模型和各种安全建议的相关文献来确定的。我们在抽象级别上定义列表的元素，这有助于保持列表的大小可管理，同时保持列表的实际适用性。
2016-08-31 cs.CR
Security and Privacy Policy Languages: A Survey, Categorization and Gap Identification
出于安全和隐私管理和实施的目的，已经提出了各种策略语言。我们对27种安全和隐私策略语言进行了概述，并提出了策略语言的分类框架。我们展示了当前的政策语言是如何在框架中表示的，并总结了我们的解释。我们发现的差距和动机，通过政策语言的规范的隐私-公用事业权衡政策。
2015-12-01 cs.CR
Rethinking IoT Security: A Protocol Based on Blockchain Smart Contracts for Secure and Automated IoT Deployments
物联网设备在社会中的扩散需要重新关注这些系统的使用和维护。基于物联网的系统将对社会产生巨大影响，因此这些系统必须具有保证的弹性。我们引入了基于密码的构建块，努力确保分布式物联网网络在其整个生命周期中保持健康状态。我们提出的解决方案利用以太坊区块链上的确定性和相互关联的智能合约，为强化的物联网设备实施安全管理和维护。调查的一个关键问题是用于保护物联网设备部署的协议开发以及与设备安全通信的方法。通过支持开放性、自动化和来源的价值观，我们可以引入新的手段来减少监视和盗窃的威胁，同时提高运营商对物联网技术的责任感和信任度。
2020-07-06 cs.CR cs.SE
Short Paper: On Deployment of DNS-based Security Enhancements
虽然域名系统（DNS）被设计为命名系统，但其特性使得重新利用它来部署新系统变得很有吸引力。这类系统的一个重要类别是加强安全，这项工作有助于了解其部署情况。我们展示了这些解决方案的特点，并在这些应用程序中测量DNS的可靠性。我们调查了这些解决方案与Tor网络的兼容性，信号必要的变化，并报告了Tor DNS解析中令人惊讶的缺点。
2017-02-17 cs.CR
A Systematic Literature Review on Continuous Integration and Deployment (CI/CD) for Secure Cloud Computing
本文通过对66篇论文进行系统性文献综述，梳理云计算中CI/CD安全的工具、方法、挑战与研究空白。
2025-06-09 cs.CR cs.SE
Assessing the Security of OPC UA Deployments
为了满足工业部署日益增长的安全需求，OPC UA是首批明确考虑安全性设计的工业协议之一。但是，安全地部署它需要对广泛的选项进行全面配置。因此，有必要评估OPC UA部署及其配置的安全性，以确保安全操作，最重要的是工业流程的机密性和完整性。在这项工作中，我们提出了流行的Metasploit框架的扩展，以减轻基于网络的OPC UA部署的安全评估。为此，我们讨论了发现OPC UA服务器、测试其身份验证、获取其配置以及检查漏洞的方法。最终，我们的工作使运营商能够验证其系统的（安全）配置并识别潜在的攻击向量。
2020-03-27 cs.CR cs.NI
Ain't How You Deploy: An Analysis of BGP Security Policies Performance Against Various Attack Scenarios with Differing Deployment Strategies
本文通过大量仿真评估了ROV、ASPA和PeerROV等BGP安全机制在不同部署策略与攻击场景下的有效性，揭示了现有措施优劣并为未来策略制定提供指导。
2024-08-28 cs.CR
A proof of security for a key-policy RS-ABE scheme
可扩展存储的基于属性的加密（RS-ABE）方案是一种通过引入用户撤销来扩展基于属性的加密的加密方案。密钥策略RS-ABE方案将每个密钥链接到访问结构。我们提出了一个新的密钥策略RS-ABE方案，我们证明了在选择明文攻击（IND-CPA）下的不可篡改性。
2016-03-21 cs.CR
Policy by Example: An Approach for Security Policy Specification
针对个人用户数据的策略规范是一个难题，因为它取决于系统开发人员无法预先确定的许多因素。与此同时，系统越来越依赖用户来做出安全决策。在本文中，我们提出了通过示例（PyBE）来指定用户特定的安全策略的方法。PyBE为策略规范领域的程序合成带来了成功的示例编程（PBE）方法的好处。在PyBE中，用户提供策略示例，指定在某些场景中是否应该允许或拒绝操作。然后，PyBE预测新场景的策略决策。PyBE的一个关键方面是它使用主动学习来使用户能够纠正策略规范中的潜在错误。为了评估PyBE的有效性，我们与专家用户进行了可行性研究。我们的研究表明，PyBE正确地预测了所有用户的策略，准确率为76%，这是对朴素方法的显著改进。最后，我们调查的原因不准确的预测，以激励未来的研究方向，在这个有前途的新领域。
2017-07-13 cs.CR
Information Security Policy: A Management Practice Perspective
在信息安全管理（ISM）领域中，对策略的研究已经投入了大量的研究工作。然而，我们对ISM文献的回顾发现了四个关键的缺陷，这些缺陷降低了指导组织实施政策管理实践的实用性。本文全面概述了信息安全策略的管理实践，并开发了一个基于实践的模型，以解决上述四个缺陷。该模型就安全管理人员必须为安全政策制定开展的活动向从业人员提供了全面指导，并允许从业人员将其当前做法与模型建议的最佳做法进行基准测试。该模型有助于理论映射现有的信息安全政策研究的定义管理实践。
2016-05-28 cs.CR cs.CY
A Policy based Security Architecture for Software Defined Networks
随着网络规模和复杂性的扩大，它们带来了更大的行政和管理挑战。软件定义网络（SDN）为应对其中一些挑战提供了一种有前途的方法。在本文中，我们提出了一个策略驱动的安全架构，以确保跨多个SDN域的端到端服务。我们开发了一种基于语言的方法来设计与保护SDN服务和通信相关的安全策略。我们描述了策略语言及其在指定安全策略中的使用，以控制多域SDN中的信息流。我们展示了细粒度安全策略的规范，这些安全策略基于各种属性，例如与用户和设备/交换机相关联的参数，上下文信息，例如位置和路由信息，以及在SDN中访问的服务，以及与不同域中的交换机和控制器相关联的安全属性。我们的架构的一个重要特征是它能够指定基于路径和流的安全策略，这对于保护SDN中的端到端服务非常重要。我们描述了我们提出的基于策略的安全架构的设计和实现，并展示了它在涉及多个SDN控制器的域内和域间通信的场景中的使用。我们分析了我们的架构的性能特点，以及讨论我们的架构是如何能够抵御各种安全攻击。基于动态安全策略的方法和相应的安全功能智能地作为一个服务层，使基于流的安全执法和保护众多的网络设备免受攻击的分布是本文的重要贡献。
2018-06-06 cs.CR
On the Content Security Policy Violations due to the Same-Origin Policy
现代浏览器实现了不同的安全策略，例如内容安全策略（CSP），一种旨在减轻流行的Web漏洞的机制，以及同源策略（SOP），一种管理网页资源之间交互的机制。在这项工作中，我们描述了如何CSP可能会违反由于SOP时，一个页面包含一个嵌入式iframe从同一来源。我们分析了来自10，000个顶级Alexa网站的100万个页面，并报告说，目前至少有31.1%的启用CSP的页面可能容易受到CSP违规的影响。进一步考虑现实世界的情况下，这些页面涉及同源嵌套浏览上下文，我们发现，在至少23.5%的情况下，CSP违规是可能的。在我们的研究中，我们还发现了在srcdoc沙箱iframe中执行CSP的浏览器实现之间的分歧，这实际上揭示了基于Gecko的浏览器CSP实现中的问题。为了改善安全机制的问题冲突，我们讨论了避免CSP违规的措施。
2017-03-22 cs.CR
A Practical Runtime Security Policy Transformation Framework for Software Defined Networks
软件定义网络（Software-defined networking，SDN）已经被广泛地用于加强传统网络的安全性，从而促进了传统网络向SDN网络转变的进程。然而，基于SDN的安全实施机制严重依赖于包含数据平面底层信息的安全策略。随着底层网络规模的不断扩大，现有的安全策略管理机制将面临越来越大的挑战。SDN网络安全策略转换是研究如何将不包含数据平面底层信息的高层安全策略自动转换为OpenFlow交换机使用的实际流条目，从而实现安全策略管理的自动化。基于这一认识，本文提出了一个实用的运行时安全策略转换框架。首先，我们将SDN网络使用的安全策略定义为安全策略的系统模型（SPM）。从理论上建立了SDN网络的系统模型，提出了一种将SPM自动转换为流条目系统模型的形式化方法。从实际应用的角度出发，提出了一个运行时安全策略转换框架，解决了如何在数据平面上为SPM中的每一个关系找到一条连通路径，以及如何根据流条目的系统模型生成实际的流条目的问题。为了验证该框架的可行性和有效性，我们搭建了一个实验系统，并使用POX控制器和Mininet仿真器实现了该框架。
2023-01-10 cs.CR cs.NI
Security Policy Consistency
随着能够同时表达构成组织的全局安全策略的所有策略的广泛安全平台的出现，安全策略内的不一致问题变得更难且更相关。我们已经定义了一个工具的基础上，该语言是能够检测几种类型的不一致之处，以及安全策略和其他规范，即工作流规范。虽然安全冲突的问题已经解决了几个作者，据我们所知，没有解决安全不一致的一般问题，其几个定义和目标规范。
2000-06-30 cs.CR cs.LO
SoK: An Analysis of Protocol Design: Avoiding Traps for Implementation and Deployment
今天的互联网使用多种不同的协议。虽然其中一些协议是首先实施和使用并随后记录的，但其他协议是首先指定然后实施的。无论协议是如何形成的，它们的定义都可能包含导致不安全的实现或部署的陷阱。一个典型的例子是协议规范中的认证要求不够严格。由此产生的错误配置，即，不启用强身份验证是Internet安全事件的常见根本原因。事实上，互联网协议通常在设计时没有考虑到安全性，这导致了大量的错误配置陷阱。虽然这种情况正在慢慢改变，但严格的安全考虑可能会产生类似的不良影响。由于复杂的实施和不充分的文档，安全功能可能仍然未使用，使部署容易受到攻击。在本文中，我们提供了一个系统的安全陷阱中发现的常见的互联网协议。通过将协议分为四类，我们确定了导致常见安全陷阱的主要因素。这些见解以及对以最终用户为中心的可用性和默认安全性的观察，然后用于获得改进现有协议和设计新协议的建议-而不会为运营商，实施者和用户设置此类安全敏感陷阱。
2016-10-18 cs.CR
Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects
在这篇论文中，我们提出了LaSCO，语言的安全约束对象，一种新的方法来表达安全策略，使用策略图，并提出了一种方法来执行这样表示的政策。用于陈述安全策略的其他方法在策略清晰度、可执行性或策略可被表达的精确度方面达不到所期望的。然而，LaSCO被设计为具有安全策略语言的这三个理想属性以及：许多不同系统的相关性，在适当的详细程度上的政策声明，对休闲和专家用户的用户友好性，以及对正式推理的顺从性。在LaSCO中，策略的约束被表示为有向图，用描述策略适用的情况和要求的表达式进行注释。LaSCO可用于执行程序、文件系统、操作系统、分布式系统和网络等各种应用。正式的操作语义已被定义为LaSCO。在任何系统上实现LaSCO的架构，提出了与Perl中的系统无关的部分的实现。利用这一点，我们实现了Java程序的LaSCO，防止Java程序违反策略。提供了便于编写策略的GUI。我们研究了将LaSCO应用于GrIDS（一种大型网络的分布式入侵检测系统）的网络，并提出了一种设计。我们的结论是，LaSCO的特点，使其在不同类型的系统上使用的整个过程中，准确地表达一个政策，理解政策的影响，并在系统上实施。
2000-03-16 cs.CR
Employee Trust Based Industrial Device Deployment and Initial Key Establishment
需要一个有效的密钥管理系统来支持密码学。大多数密钥管理系统使用预安装的共享密钥或使用带外通道安装初始安全参数。这些方法给在工厂中管理设备的工程师带来了额外的负担。因此，为了实现安全性，工业工厂中的设备部署成为一项具有挑战性的任务。在这项工作中，我们提出了一个设备部署框架，可以支持使用现有的信任对员工在工厂的密钥管理。这种方法减少了员工对初始安全参数的访问，而是有助于将员工的信任与设备调试绑定在一起。因此，这种方法为设备部署问题提供了独特的解决方案。此外，通过使用AVISPA工具的概念验证实现和安全分析，我们提出了我们的框架是可行的，实现和满足我们的安全目标。
2016-04-13 cs.CR
SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle
Carleton University（卡尔顿大学）；Queen’s University（皇后大学）；Polytechnique Montréal（蒙特利尔高等工程学院）
SecMLOps提出了一种全面的框架，用于在整个MLOps生命周期中集成安全措施，通过实证评估展示了其在提升ML应用安全性和性能平衡方面的贡献。
2026-01-15 cs.CR cs.SE
Systematic review of automatic translation of high-level security policy into firewall rules
防火墙是执行网络流量过滤的安全设备。它们在行业中无处不在，并且是用于实施组织安全策略的常用方法。安全策略是在高抽象级别上指定的，例如“仅允许在办公室网络内的工作站上浏览网页”，需要将其转换为低级别的防火墙规则才能执行。关于防火墙规则的优化、分析和平台独立性已经有很多工作，但是一个成功率低得多的领域是将高级安全策略自动转换为防火墙规则。除了提高规则的可读性，这样的翻译将使它更容易检测error.This本文调查的20多篇论文，旨在生成防火墙规则，根据指定的安全策略在更高的抽象级别。它还概述了现代防火墙系统中的类似功能。大多数方法都定义了专门的领域语言，这些语言被编译成防火墙规则集，其中一些依赖于正式规范、本体或图形模型。随着时间的推移，这些方法已经得到了改进，但在更广泛的应用之前，仍然有许多缺点需要解决。
2022-12-07 cs.CR
The Impact of IMSI Catcher Deployments on Cellular Network Security: Challenges and Countermeasures in 4G and 5G Networks
本文系统分析了IMSI捕获器在4G和5G网络中的安全威胁，梳理了基于网络和用户的两类对策及其局限，并指出未来需改进加密、认证、检测技术及监管政策。
2024-05-01 cs.CR
XACs-DyPol: Towards an XACML-based Access Control Model for Dynamic Security Policy
授权和访问控制在保护敏感信息不受恶意用户攻击方面起着至关重要的作用。系统基于安全策略来确定是否允许访问请求。然而，近年来，大数据的日益普及给安全策略管理带来了新的挑战，例如运行时间中的动态和更新策略。动态策略的应用给现代领域带来了许多好处。据我们所知，有没有以前的研究集中在解决动态策略环境中的授权问题。在本文中，我们重点分析和分类时，发生的更新策略，并提供了一个务实的解决方案，这种动态的政策。这项工作的贡献是双重的：一个新的解决方案，管理的政策变化，即使访问请求已被授予，和基于XACML的实现经验评估所提出的解决方案。实验结果显示了新引入的XACs-DyPol框架与Balana（一个支持XACML 3.0的开源框架）之间的比较。这些数据集是基于XACML 3.0的策略，包括三个真实策略集的样本。根据比较结果，我们的XACs-DyPol框架在动态安全策略情况下的所有更新方面都优于Balana。特别地，当策略结构包括复杂的策略集、策略和规则或包含高于函数和低于函数的复杂比较表达式时，我们提出的解决方案的性能优于一个数量级。
2020-04-10 cs.CR
Security policy audits: why and how
本文指出安全研究重技术轻策略的问题，通过一系列安全策略审计揭示了影响数十亿用户的策略缺陷，倡导开展基于策略的安全研究并提出研究议程。
2022-07-22 cs.CR cs.CY
Security Policy Enforcement Through Refinement Process
在网络领域，实施以高级语言表达的安全策略的常用方法是基于自组织和手动重写过程。我们认为，这是可能的，建立一个正式的联系之间的具体和抽象的条款，可以动态计算的环境数据。为了逐步引入配置数据，然后简化证明义务，我们使用B细化过程。我们提出了一个案例研究建模的网络监视器。该程序按照TCP/IP套件协议的各层进行细化描述，必须警告所有观察到的不遵守安全策略的事件。为了设计这个模型，我们使用事件B方法，因为它适合于建模网络概念。这项工作是在POTESTAT项目的框架内完成的，基于对高级安全策略的网络测试方法的研究。
2010-04-09 cs.CR cs.LO
An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps
背景：安全工具在使开发人员能够构建安全软件方面发挥着至关重要的作用。然而，在不影响DevOps范式中部署速度或频率的情况下引入和充分利用安全工具可能具有相当大的挑战性。目的：我们的目标是实证调查从业者在将安全工具集成到DevOps工作流程中时面临的关键挑战，以便提供克服这些挑战的建议。方法：我们进行了一项研究，涉及31个系统选择的关于在DevOps中集成安全工具的网络研讨会。我们使用了定性数据分析方法，即，专题分析，以确定与在快速部署环境中整合安保工具有关的挑战和新出现的解决办法。结果如下：我们发现，虽然传统的安全工具无法满足DevOps的需求，但该行业正在转向新一代的工具，这些工具已经开始关注这些需求。我们已经开发了一个DevOps工作流程，通过综合分析网络研讨会中从业者的建议，集成了安全工具和一组指导方针。结论：虽然最新的安全工具正在解决DevOps的一些要求，但仍有许多与工具相关的缺点尚未得到充分解决。
2021-07-19 cs.CR cs.SE
Secure Cloud-Edge Deployments, with Trust
评估要部署到由不同提供商运营的异构云边缘基础设施的物联网应用程序的安全级别是一项重要任务。在本文中，我们提出了一种方法，允许以简单和声明的方式表达物联网应用程序的安全要求以及基础设施安全功能，并自动获得对可能的应用程序部署的安全级别的可解释评估。该方法还考虑了使用或管理云边缘基础设施的不同利益相关者之间的信任关系的影响。一个逼真的例子是用来展示原型实现的方法。
2019-09-05 cs.CR cs.NI
Analyzing the Overhead of Filesystem Protection Using Linux Security Modules
多年来，Linux安全模块（LSM）的复杂性不断增加，授权钩子的数量几乎翻了一番。为系统从业者提供最新的LSM度量结果非常重要，这样他们就可以在安全性和性能之间做出谨慎的权衡。这项工作评估了Linux v5.3.0上文件访问的LSM开销。我们建立了一个LSM的性能评估框架。该模型分为两个部分，一个是对LMBench2.5的扩展，用于评估不同安全模块的文件操作开销;另一个是具有可调延迟的安全模块，用于研究策略执行延迟对文件操作端到端延迟的影响。在我们的评估中，我们发现当内核与SELinux hooks（禁用策略执行）集成时，打开文件会看到大约87%（Linux v5.3）的性能下降，而没有这个数字是27%（Linux v2.4.2）。我们发现，上述降级的性能受到两个部分的影响，政策执行和挂钩放置。为了进一步研究策略执行和钩子放置的影响，我们构建了一个策略测试模块，它重用LSM的钩子放置，同时交替策略执行的延迟。通过此模块，我们能够使用多元线性回归模型定量估计策略实施延迟对文件操作端到端延迟的影响，并统计每个系统调用的策略授权频率。然后，我们讨论和证明评估结果与静态分析对我们的增强系统调用图。
2021-01-27 cs.CR
BGP Security in Partial Deployment: Is the Juice Worth the Squeeze?
随着使用RPKI的安全路由源认证的推出在网络运营商中慢慢获得牵引力，推动了BGP的安全路径验证标准化（即，S*BGP：S-BGP、soBGP、BGPSEC等）。起源认证已经在很大程度上提高了路由安全性。此外，预计向S*BGP的过渡将是漫长而缓慢的，S*BGP将长期与BGP共存于“部分部署”中。因此，我们使用理论和实验的方法来研究部分部署的S*BGP提供的安全优势，相对于那些已经提供的原产地认证。由于路由策略对路由安全有着深远的影响，我们使用了100个网络运营商的调查，以找到部分S*BGP部署过程中可能最受欢迎的策略。我们发现，S*BGP提供的好处只有微薄的原产地认证时，使用这些流行的政策。我们还研究了其他路由策略的安全优势，部分部署的S*BGP提供规范性的指导方针，并显示S*BGP和BGP之间的相互作用可以引入新的漏洞到路由系统。
2013-07-10 cs.CR cs.DC cs.NI
Security Policy Specification Using a Graphical Approach
安全策略规定了信息系统可接受的操作，因为这些操作与安全有关。各组织迫切需要宣布其安全政策，即使是非正式声明也比目前的做法好。但是，正式的政策声明更适合于支持（1）关于政策的推理，例如，为了一致性和完整性，（2）策略的自动执行，例如，在遗留系统周围使用包装器，或者在入侵检测系统的情况下使用包装器，以及（3）策略的其他正式操作，例如，政策的构成。我们提出了LaSCO，对象安全约束语言，其中策略由两部分组成：域（关于系统的假设）和要求（假设满足域，允许什么）。因此，LaSCO中定义的策略具有条件访问控制语句的外观。LaSCO策略被指定为逻辑表达式和有向图，提供了策略的可视化视图。LaSCO在一阶逻辑（我们提供的）中有一个简单的语义，因此允许我们编写的策略，即使是复杂的策略，也是非常清晰的。LaSCO有语法来表达我们发现对策略有用的许多情况，或者更有趣的是，策略的组成。LaSCO有一个面向对象的结构，除了传统的关于操作系统对象的策略之外，它还可以用来描述用面向对象语言编写的应用程序的对象和方法的策略。LaSCO规范可以自动转换为可执行代码，用于检查程序对策略的调用。LaSCO的实现是在Java中，并生成包装器来检查Java程序是否符合策略。
1998-09-30 cs.CR
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits
出于同时保护外包给第三方云的数据的机密性和可用性的问题，我们提出了两种不同的数据库加密方案，它们在很大程度上隐藏了数据，但揭示了足够的信息来支持广泛的关系查询。我们提供了一个数据库加密的安全定义，从对手的角度来看，捕获的数据库的等效概念的基础上的机密性。作为一个具体的应用程序，我们适应现有的算法，发现违反隐私政策的运行在我们的计划下加密的日志，并观察低到中等的开销。
2015-08-10 cs.CR
Hardware-Enforced Integrity and Provenance for Distributed Code Deployments
部署的微服务必须遵守由相互不信任的应用程序主体（软件开发人员，云提供商甚至数据所有者）施加的大量应用程序级安全要求和监管约束。尽管这些主体希望强制执行其各自的安全需求，但它们目前没有一种通用的方式来轻松地识别、表达和自动地在部署时强制执行这些需求。CDI（Code Deployment Integrity）是一个安全策略框架，它使分布式应用程序主体能够通过高度完整的起源信息在部署的代码中建立信任。我们观察到，主体期望软件供应链在创建可执行捆绑包的整个过程中保持某些代码安全属性，即使代码通过各种工具（例如，编译插入堆栈金丝雀用于存储器安全）。我们在设计CDI时的关键见解是，即使应用程序主体不直接相互信任，如果他们可以信任创建捆绑包所涉及的工具，他们也可以信任微服务捆绑包以满足其安全策略。
2021-06-17 cs.CR
The security strength of Blockchain technology : A Survey Report
2008年中本聪集团区块链技术的出现，为如何处理各种安全问题和漏洞创造了新的趋势。区块链系统在商业组织的各个技术部署领域都获得了发展势头。本文对区块链的安全强度以及与区块链技术部署相关的安全问题进行了重要的文献调查。许多研究已经在不同的交易领域对区块链系统的各种技术特征进行了实验。从现有研究的文献调查和主题内容分析中获得的结果表明，区块链系统提供了独特的功能，可以支持各个部门的流程和交易，具有高度的完整性，透明度，机密性和隐私性。然而，各种研究都强调了与区块链的部署和使用相关的一些漏洞和限制。本研究交叉审查了基本科学研究证据的安全问题。
2022-05-18 cs.CR
AI-Assisted Cybersecurity Policy Assessment: Evidence Grounding, Coverage Gaps, and Implications for Security Management
Indian Institute of Technology Kanpur（印度坎普尔理工学院）；International Institute of Information Technology Hyderabad（印度海得拉巴国际信息技术学院）
本文提出PROPARAG框架，用于自主评估组织网络安全政策是否符合安全控制标准，通过检索政策证据、评估覆盖范围并生成推荐，实现自动化合规性检查。
2026-10-01 cs.CR
Directed Security Policies: A Stateful Network Implementation
大型系统通常是互连的。安全策略描述网络实体之间的通信关系。安全策略定义规则，例如A可以连接到B，这会产生一个有向图。然而，该策略通常在网络中例如通过防火墙来实现，使得A可以建立到B的连接，并且允许属于所建立的连接的所有分组。这种有状态的实现通常是网络功能所必需的，但它引入了从B到A的回流，这可能与安全策略相矛盾。我们推导出一个策略及其有状态实现的合规标准。特别是，我们提供了一个标准来验证在线性时间内没有副作用。提出了自动构造安全策略规则的有状态实现的算法，缩小了形式化与实际实现之间的差距。该解决方案可扩展到大型网络，这一点已被一个大型现实案例研究所证实。它的正确性由Isabelle/HOL定理证明器保证。
2014-05-06 cs.CR cs.LO
A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
本文提出形式化的 Security Capability Model（SCM），通过信息模型与数据模型抽象安全控制能力，并以模型驱动方法实现策略精化、控制比较和事件响应自动化。
2025-01-12 cs.CR
Need for Critical Cyber Defence, Security Strategy and Privacy Policy in Bangladesh - Hype or Reality?
网络安全是现代世界亟待解决的问题之一。IT基础设施的增加增加了安全漏洞的巨大可能性。孟加拉国作为网络安全领域相对较新的成员，有自己的需求和吸引力。过去几年，孟加拉国的数字化正在以可观的速度发生。人们正在通过智能设备连接到全球网络社区。这些设备有自己的漏洞问题，并且通过互联网共享的数据很有可能被破坏。常见的漏洞问题，如感染恶意软件，木马，病毒的设备正在上升。此外，缺乏适当的网络安全政策和战略可能会使现有局势处于临界点的脆弱边缘。因此，如果不及早处理这些问题，即将到来的新基础设施将面临更大的风险。本文讨论了常见的脆弱性问题，包括他们最近对孟加拉国网络空间的攻击，网络安全战略和数据隐私政策的需要。
2019-06-04 cs.CR cs.SI
A Policy-Aware Model for Intelligent Transportation Systems
智能机器对机器（M2M）通信领域的最新进展使得有必要通过实施适当的安全规则来改进服务交付。由于大量的连接设备，M2M应用的关键性以及网络稳定性的弱点，我们需要考虑和分析安全方面并建立灵活的策略感知架构。本文探讨了在这种环境下的相关架构的挑战，并提出了一个策略感知的智能M2M架构（PAArc）的ETSI M2M通信功能架构的基础上。我们探索基于策略的管理方面，以提高M2M组件和服务的安全性，并减轻通过评估智能交通系统用例而产生的安全问题。结果表明，该策略的实施，使智能M2M通信领域的增强的安全管理能力，增加的灵活性，和更好的服务水平。
2017-07-01 cs.CR cs.NI
Securing the Open RAN Infrastructure: Exploring Vulnerabilities in Kubernetes Deployments
本文针对O-RAN架构下基于OSC的Kubernetes部署进行安全评估，揭示RIC集群中的漏洞与错误配置，并提出集成安全评估、部署加固和基于策略控制等方法来提升虚拟化开放RAN系统的整体安全性。
2024-05-03 cs.CR
RefinementEngine: Automating Intent-to-Device Filtering Policy Deployment under Network Constraints
Politecnico di Torino（都灵理工大学）
本文提出RefinementEngine，通过网络拓扑、设备和安全控制能力，自动将高层安全意图转化为可部署的低层配置，以应对不断变化的网络威胁。
2026-04-02 cs.AI cs.CR
A New Fuzzy MCDM Framework to Evaluate E-Government Security Strategy
确保电子政务应用程序和基础设施的安全，对于保持利益攸关方之间的信任，以便通过电子政务系统存储、处理和交换信息至关重要。由于电子政务信息安全面临动态、持续的威胁，决策者需要对现有的信息安全策略进行评估，以提供可信的电子政务服务。提出了一种基于模糊多准则决策（MCDM）的信息安全评估框架，以帮助决策者对电子政务安全策略进行综合评估。
2010-11-13 cs.CR
Easing the Conscience with OPC UA: An Internet-Wide Study on Insecure Deployments
由于数字化程度的提高，以前孤立的工业网络，例如，对于工厂和过程自动化，越来越接近互联网，要求安全通信。然而，安全地设置OPC UA，安全工业通信的主要候选者，是具有挑战性的，因为有各种各样的不安全选项。为了研究面向互联网的OPC UA设备是否安全配置，我们主动扫描IPv4地址空间，以获取可公开访问的OPC UA系统，并评估其配置的安全性。我们观察到有问题的安全配置，例如缺少访问控制（24%的主机），禁用安全功能（24%）或使用弃用的加密原语（25%），总共有92%的可达部署。此外，我们发现多个自治系统中的数百个设备共享相同的安全证书，为模仿攻击打开了大门。总体而言，在本文中，我们强调了常见的安全错误配置，并强调了适当配置的重要性，安全功能的协议。
2020-10-26 cs.CR cs.NI
SOK: Exploring Hallucinations and Security Risks in AI-Assisted Software Development with Insights for LLM Deployment
Clark Atlanta University（克拉克亚特兰大大学）；Dhaka International University（达卡国际大学）；Silicon Orchard Research and Analytics Lab（硅果园研究与分析实验室）
本文系统分析AI辅助编码工具（如GitHub Copilot等）的益处与风险，探讨其复制不安全实践、引入偏见及产生幻觉的隐患，并强调数据泄露与知识产权风险，旨在指导开发者明智使用并最大化收益、最小化风险。
2025-01-31 cs.AI cs.CR cs.SE
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
University of Manouba（马努巴大学）；University of Jendouba（坚杜拜大学）；University of Sfax（斯法克斯大学）；DataDoIt；South Mediterranean University（南地中海大学）
本研究通过统一威胁框架比较函数调用与MCP两种LLM智能体部署范式，发现函数调用攻击成功率更高，链式攻击效果显著，为安全部署提供实证指导。
2025-07-08 cs.AI cs.CR
On attribute-based usage control policy ratification for cooperative computing context
在开放的信息系统范例中，实时的上下文感知对于合作的成功至关重要，因此合作伙伴的动态安全属性应该在合作中得到考虑，以避免安全冲突。此外，跨境资产共享活动和与治理丧失相关的风险要求对合作伙伴的行为进行持续监管，关注资源共享和消耗活动。本文描述了一种基于属性的使用控制策略方案。使用EBNF的简洁语法来概括基本策略模型。利用溯因约束逻辑程序设计（ACLP）和事件演算（EC）对协商过程进行语义消歧。在此基础上，提出了一种基于策略聚集代数的策略确认方法，该方法详细描述了请求空间和策略规则关系。此方法可确保在由于资源共享和合并活动而聚合策略时，生成的策略正确地解释提供者策略的原始安全目标。
2013-05-08 cs.CR
Identity Prove Limited Information Governance Policy against cyber security persistent threats
本文介绍IDPL公司基于ISO/IEC 27001:2022和GDPR的信息治理政策，旨在通过实时面部验证和持续安全监控，有效应对网络安全威胁并缓解漏洞，确保银行服务身份验证的安全可靠。
2023-09-05 cs.CR cs.CY
An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy
由于蜜罐最初是作为一种先进的网络安全概念出现的，因此它们遭受了部署和维护策略不佳的问题。最先进的部署是一个手动过程，其中蜜罐需要由网络管理员配置和维护。本文提出了一种基于机器学习技术的蜜罐动态配置、部署和维护策略。我们的方法具有网络中的机器和设备的识别机制。对这些实体进行了分析和分组。基于集群，蜜罐被智能地部署在网络中。该方法无需配置和维护，是蜜罐技术在现代网络安全中的一大优势。
2021-11-06 cs.CR
Towards Secure Management of Edge-Cloud IoT Microservices using Policy as Code
本文针对边缘-云多域环境中物联网微服务管理缺乏细粒度安全控制的问题，提出基于策略即代码的架构框架，利用控制平面动态配置云原生技术执行安全策略，并通过原型验证其有效性。
2024-06-28 cs.CR cs.DC cs.SE
Implementation of Portion Approach in Distributed Firewall Application for Network Security Framework
本研究的目的是寻求防火墙之间的协作，达到分布式安全策略的能力;前端实体可能会受到入侵者的大量干扰，因此需要将该实体与后端实体分离，以进行安全域保护;协作安全实体在组织中具有各种任务，并且有一定的安全策略可供应用;像DPFF这样的实体必须受到保护，不受外界的影响。防火墙通常被用作网络框架中的主要安全层。本文提出了一种基于IPtable防火墙的DPFF框架，该框架的特定部分是作为防御层，通过提出的部分逼近算法，利用检测和策略更新机制来减少流量和效率，通过动态的安全和策略更新来控制框架的安全性。给出了DPFF策略更新机制的使用方法。完整的框架意味着一个分布式防火墙，其中管理员配置策略规则集，这可以是单独的，也可以是从管理节点侧。
2012-01-22 cs.CR cs.NI
Embedded Policing and Policy Enforcement based Security in the era of Digital-Physical Convergence for Next-Generation Vehicular Electronics
智能联网车辆的出现，包含复杂的功能，有可能通过提高车辆运输的安全性，保障性和效率，极大地造福社会。这在很大程度上得益于嵌入式系统架构的技术进步，这为汽车制造商提供了实施智能汽车服务并将其整合到少量灵活且可集成的域控制器中的机会。因此，允许越来越集中的操作，包括新的和传统的功能。虽然这个关键和非关键车辆服务的数字-物理融合时代在降低车辆电子设备的成本和电子足迹方面具有优势，但它也带来了重大的安全挑战。解决这一研究问题的一种方法是引入故障转移机制，该机制可以检测由攻击或故障引起的意外或恶意行为，并主动响应控制，最大限度地减少物理损坏或安全隐患。本文提出了一种新的嵌入式警务和策略执行平台架构和伴随的安全建模方法，为下一代车载域控制器。为了证明所提出的方法，连接车辆的案例研究进行。一个现实的攻击场景已被认为是派生的安全策略和建议的安全平台，以提供安全和安全域特定的功能。
2020-04-17 cs.CR eess.SP
Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
Institute for Clarity in Documentation（文档清晰研究所）；Inria Paris-Rocquencourt（巴黎-罗克琴特研究所）；Rajiv Gandhi University（拉吉夫·甘地大学）；Tsinghua University（清华大学）；Palmer Research Laboratories（帕勒研究中心）；Institute of Software, Chinese Academy of Sciences（软件研究所，中国科学院）
提出SmartCoder-R1框架，通过持续预训练、长思维链监督微调与安全感知的组相对策略优化（S-GRPO），生成安全且可解释的智能合约，在多项指标上超越基线并提升推理质量。
2025-10-12 cs.AI cs.CR cs.SE
Hybrid Cloud Security: Balancing Performance, Cost, and Compliance in Multi-Cloud Deployments
本文研究混合云生态系统中的性能、成本与安全平衡问题，提出基于零信任架构的混合云安全与成本优化框架，并通过AWS和Azure案例验证了安全与性能管理解决方案。
2025-05-31 cs.CR
Security Friction Quotient for Zero Trust Identity Policy with Empirical Validation
提出有界复合指标 SFQ，将残余风险与延迟、失败率、服务台影响结合，经模拟、权重稳定性和企业 passkey 观察验证，用于可解释的零信任身份策略权衡决策。
2025-09-02 cs.CR cs.HC
Reliable Federated TinyML Deployment for IoT Security
The Pennsylvania State University（宾夕法尼亚州立大学）；Elizabethtown College（伊丽莎白敦学院）
本研究将联邦学习与TinyML模型压缩结合用于物联网入侵检测，通过服务器协调的余弦学习率调度将攻击召回率从46.7%提升至93.85%，实现轻量级隐私保护部署。
2026-09-24 cs.CR cs.LG
Adaptive MTD Security using Markov Game Modeling
大型云网络由分布式网络和计算元素组成，这些元素处理关键信息，因此安全性是任何环境的关键要求。不幸的是，评估这样的网络的安全状态是一项具有挑战性的任务，并且安全专家过去使用的工具，例如分组过滤、防火墙、入侵检测系统（IDS）等，提供反应式安全机制。在本文中，我们介绍了一种基于移动目标防御（MTD）的主动安全框架，用于监控攻击，它可以让我们识别和推理针对云网络中存在的软件漏洞的多阶段攻击。我们制定的多阶段攻击的情况下，作为一个两个球员的零和马尔可夫游戏（攻击者和网络管理员之间）的攻击图。通过利用通用漏洞评分系统（CVSS）中的专家知识获得奖励和转移概率。我们的框架确定了攻击者的最佳策略，并采取对策，以确保这种攻击策略总是被检测到，从而迫使攻击者使用一个次优的策略，成本更高。
2018-11-01 cs.CR
Mind the Gap: Policy vs Reality in Post-Quantum TLS Deployment
The University of New South Wales（新南威尔士大学）；Georgia Institute of Technology（佐治亚理工学院）
本研究通过纵向测量20亿次TLS握手，发现后量子TLS部署在政策差异下呈配置趋同，由托管提供商推动，且无显著延迟增加，为后量子TLS过渡提供实证参考。
2026-08-03 cs.CR cs.NI
