Just ASK: Building an Architecture for Extensible Self-Service Spoken Language Understanding
本文介绍了机器学习架构的设计，该架构是Alexa Skills Kit（ASK）的基础，这是一个大规模的口语语言理解（SLU）软件开发工具包（SDK），使开发人员能够扩展亚马逊虚拟助手Alexa的功能。在亚马逊，基础设施支持通过ASK部署的25，000多个技能，以及AWS的Amazon Lex SLU服务。ASK强调第三方开发人员的灵活性、可预测性和快速迭代周期。它施加了归纳偏差，使其能够从极小和稀疏的数据集中学习鲁棒的SLU模型，并在这样做的过程中，为软件开发人员和对话系统研究人员消除了重大的进入障碍。
2018-03-02 cs.AI cs.CL cs.NE
Microservices in IoT Security: Current Solutions, Research Challenges, and Future Directions
近年来，物联网（IoT）技术在不同的重要领域（包括医疗保健，教育，农业，能源管理等）中出现了多种智能应用，物联网旨在通过互联网将多个智能设备（如传感器，监控系统和智能家电）互连，以控制，存储，交换和分析收集的数据。物联网环境中的主要问题是，它们可能存在潜在的漏洞，被恶意用户非法访问，这威胁到收集数据的安全和隐私。为了面对这个问题，最近已经使用基于微服务的架构进行了一些工作，以最大限度地减少与物联网数据相关的安全威胁和攻击。通过使用微服务，这些作品提供了可扩展，可重用和可重新配置的安全功能。在本文中，我们的目标是提供一个关于基于微服务的方法来保护物联网应用程序的调查。该调查将帮助从业者了解物联网安全领域持续存在的挑战，并探索新的和有前途的研究机会。据我们所知，本文是第一份调查使用微服务技术保护物联网应用的调查。
2021-05-17 cs.CR cs.SE
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example
实现大型软件，作为旨在用于工业环境的软件分析器，需要一个精心设计的软件架构，以简化其生命周期中的日常开发和维护过程。如果分析器不仅仅是一个单一的工具，而是一个开放的可扩展的协作框架，外部开发人员可以在其中开发相互协作的插件，这样一个设计良好的架构甚至变得更加重要。在这份经验报告中，我们解释了开发和维护开放的可扩展协作分析框架的困难，通过Frama-C的例子，一个平台，致力于分析用C编写的代码。我们还介绍了新的即将到来的软件架构的框架-C和它的目的是如何解决这些问题。
2015-08-17 cs.SE
Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
本文研究数字生态系统架构中可观测性与安全的关联，提出利用日志、追踪和指标等可观测性数据及 AI/ML 方法检测威胁、异常与数据泄露，从而强化系统安全。
2024-12-07 cs.CR cs.SE
A Goal Question Metric Approach for Evaluating Security in a Service Oriented Architecture Context
为了在面向服务的体系结构（SOA）生态系统中实现交互，每个参与者必须对其他参与者有足够的信心，才能安全地参与交互。因此，建立适合SOA环境的客观度量标准来显示系统的安全性并导致增强是非常有吸引力的。本文的目的是提出一种基于标准安全度量和SOA成熟度的GQM（Goal Question Metric）方法，该方法可以支持组织评估SOA安全性并确保其基于SOA的协作的安全性
2013-04-02 cs.CR cs.SE
SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
本文提出了用于安全数据编排、分析和报告的软件参考架构SecDOAR，通过文献与标准设计元模型及组件，并经商业方案对比与原型实例化验证，为各领域网络安全监控与报告系统的设计提供标准化结构方法。
2024-08-26 cs.CR cs.SE
Architecture-Derived CBOMs for Cryptographic Migration: A Security-Aware Architecture Tradeoff Method
University of Applied Sciences Amberg-Weiden（安贝格魏登应用科学大学）；Fraunhofer AISEC（弗劳恩霍夫AISEC）
本文提出SATAM方法，通过整合ATAM、arc42等方法，生成包含安全意图和迁移关键元数据的架构基础CBOM，提升密码迁移规划的信息可用性。
2026-07-22 cs.CR cs.SE
A Java Data Security Framework (JDSF) and its Case Studies
我们提出的东西，我们称之为机密性，完整性和身份验证子框架，这是一个更一般的Java数据安全框架（JDSF）的一部分，旨在支持与数据安全（机密性，源身份验证，完整性和SQL随机化）的各个方面。JDSF最初是在2007年设计的，用于MARF和HSQLDB这两个用例，以允许各种安全方面及其泛化的插件式实现和验证。JDSF项目从两个项目中的数据安全的角度探讨了安全数据存储相关的问题。考虑了各种常见的安全方面和任务，以提取一系列可能的参数，这些方面需要设计一个可扩展的框架API及其实现。正在解决的一个特殊挑战是将不同的方法和算法聚合到一组通用的Java API中，以覆盖所有或至少是最常见的方面，同时保持框架尽可能简单。作为框架的一部分，我们提供了上述子框架的API，以允许MARF和HSQLDB数据库的机密性、完整性和身份验证方面的通用算法实现。与此同时，我们对数据和数据库安全方面的相关工作和文献进行了详细的概述，我们认为这些工作和文献是设计JDSF的可能输入。
2016-03-31 cs.CR cs.SE
The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents
MLSys 2026
本文提出OpenHands SDK，提供灵活的代理实现接口、安全可靠执行及用户交互接口，整合了本地到远程执行、多LLM路由和安全分析，验证了其在生产部署中的有效性。
2026-04-22 cs.AI cs.SE
Modularization of Research Software for Collaborative Open Source Development
软件系统在其生命周期中不断发展。不断变化的条件，如需求或客户请求，使得开发人员不可避免地要对底层代码库进行调整。特别是在开放源码软件的情况下，每个人都可以作出贡献，要求可能会随着时间的推移而改变，新的用户组可能会得到解决。特别是，研究软件往往不是结构化的可维护性和可扩展的架构。结合过时的技术，这对新开发人员来说是一项具有挑战性的任务，特别是当学生参与其中时。在本文中，我们报告了我们的开源研究项目ExplorViz朝着微服务架构的模块化过程和架构。新的架构有利于研究人员和学生的协作开发过程。我们描述了模块化措施，并介绍了我们如何解决出现的问题，并加强了我们的开发过程。之后，我们说明了我们的模块化方法与我们的现代化，可扩展的软件系统架构，并强调改进的协同开发过程。最后，我们提出了一个概念验证的实现具有几个开发扩展的架构和可扩展性。
2019-07-12 cs.SE
Security Model For Service-Oriented Architecture
在本文中，我们将研究安全性如何应用于面向服务的体系结构（SOA）。在我们讨论SOA的安全性之前，让我们退一步，看看什么是SOA。SOA是一种体系结构方法，它涉及将应用程序公开为“服务”。最初，SOA中的服务与包括SOAP、WSDL和SOAP在内的一系列技术相关联。本文针对传统企业应用集成的不足，将面向服务的体系结构与Web服务技术相结合。然后将应用集成简化为服务的开发和集成，以解决异构企业应用集成的连接性、安全性、系统之间的松耦合以及流程重构和优化。
2011-08-05 cs.SE
P4Testgen: An Extensible Test Oracle For P4
本文提出可扩展的 P4 测试预言机 P4Testgen，通过建模完整流水线语义并结合污点跟踪与混合符号执行，为 V1model、eBPF、PNA 和 Tofino 等目标自动生成测试，并在生产工具链中发现 25 个缺陷。
2023-08-06 cs.NI cs.SC cs.SE
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
我们提出了一种基于合金的方法来正式建模和评估系统架构的安全性和安全性要求。我们说明了这种方法，考虑作为一个案例研究的航空电子系统开发的泰勒斯，它提供了指导飞机。我们展示了如何定义合金的航空电子架构的元模型，重点是故障传播。然后，我们在Alloy中表达案例研究的特定架构。最后，我们表达和检查属性，指的是架构的故障和攻击的鲁棒性。
2014-05-06 cs.SE
An Open Framework for Extensible Multi-Stage Bioinformatics Software
在研究实验室中，通常需要在给定的生物信息学工作流程的每一步定制软件，但传统上很难同时获得高度的可定制性和良好的性能。对性能敏感的工具通常是高度单一的，这可能会使研究变得困难。我们提出了一套新的软件开发原则和生物信息学框架，弗里德里希，这是目前在早期的发展。Friedrich应用程序支持早期实验和后期批处理，因为它们同时允许良好的性能和高度的灵活性和可定制性。这些好处在很大程度上是通过将Friedrich建立在多范式程序设计语言Scala之上而获得的。我们提出了一个案例研究的形式，一个基本的基因组组装和它的扩展与新的功能。我们的架构有可能大大提高生物信息学软件开发人员和研究人员的整体生产力。
2012-08-22 cs.SE q-bio.GN
Towards Deep Learning Enabled Cybersecurity Risk Assessment for Microservice Architectures
针对微服务架构安全风险评估效率低的问题，提出基于深度学习自然语言处理模型的CyberWise Predictor框架，通过分析漏洞描述预测漏洞指标，在自动预测新漏洞指标上达92%平均准确率，助力开发者识别和缓解安全风险。
2024-03-22 cs.SE
Towards Leveraging LLMs to Generate Abstract Penetration Test Cases from Software Architecture
Karlsruhe Institute of Technology (KIT)（卡尔斯鲁厄理工学院）
本文提出利用大语言模型生成抽象渗透测试用例，以支持软件架构层面的安全评估，实验显示生成的用例在实用性和正确性上表现良好。
2026-03-24 cs.SE
QIS-XML: An Extensible Markup Language for Quantum Information Science
这篇硕士论文探讨了经典信息科学（CIS）和量子信息科学（QIS）之间的互操作性和集成问题。它简要介绍了可扩展置标语言（XML），并描述了量子计算XML规范（QIS-XML）原型的开发步骤。QIS-XML是一个基于XML的量子逻辑门和量子电路的描述、可视化、交换和处理框架。它还提供了一个潜在的方法，通过XML驱动的编译器的概念，量子计算机的通用程序设计语言。提供了一些例子来描述常用的量子门和电路，并提供了在标准Web浏览器中可视化它们的工具。最后给出了一个算法实例，利用量子电路进行简单的加法运算，并在量子计算机模拟器上运行。总的来说，这一初步工作表明了XML技术如何成为描述和编程量子计算机的架构的核心。QIS-XML利用一个被广泛接受的标准，在传统IT和量子IT之间架起了一座桥梁，这可以促进ICT社区对QIS的接受，并促进IT专家对量子技术的理解。这将支持经典信息科学和量子信息科学整合为完整的信息科学，这一挑战可以被称为“信息科学大一统挑战”。
2011-06-14 cs.ET cs.PL cs.SE
