中文
相关论文

相关论文: From CRUD to Autonomous Agents: Formal Validation …

200 篇论文

As AI agents transition from research prototypes to enterprise production systems, the tool interfaces they consume remain rooted in human-oriented CRUD paradigms. This paper identifies five fundamental architectural mismatches between…

人工智能 · 计算机科学 2026-05-12 Kai Pan

As autonomous agents powered by large language models (LLMs) proliferate in high-stakes domains -- from pharmaceuticals to legal workflows -- the challenge is no longer just intelligence, but verifiability. We introduce TrustTrack, a…

多智能体系统 · 计算机科学 2025-07-31 Muyang Li

As large language models transition from bounded generative engines to agents with expansive execution privileges, AI going out of control precipitates a fundamental crisis in artificial intelligence security. Existing defense architectures…

人工智能 · 计算机科学 2026-05-29 Benlong Wu , Weiming Zhang , Kejiang Chen , Han Fang , Nenghai Yu

Autonomous AI agents now operate across cloud, enterprise, and decentralized domains, creating demand for registry infrastructures that enable trustworthy discovery, capability negotiation, and identity assurance. We analyze five prominent…

Agentic AI systems automate enterprise workflows but existing defenses--guardrails, semantic filters--are probabilistic and routinely bypassed. We introduce authenticated workflows, the first complete trust layer for enterprise agentic AI.…

密码学与安全 · 计算机科学 2026-02-12 Mohan Rajagopalan , Vinay Rao

Artificial intelligence (AI) agents are increasingly capable of initiating financial transactions on behalf of users or other agents. This evolution introduces a fundamental challenge: verifying both the authenticity of an autonomous agent…

密码学与安全 · 计算机科学 2025-11-21 Vivek Acharya

Traditional Identity and Access Management (IAM) systems, primarily designed for human users or static machine identities via protocols such as OAuth, OpenID Connect (OIDC), and SAML, prove fundamentally inadequate for the dynamic,…

密码学与安全 · 计算机科学 2025-05-30 Ken Huang , Vineeth Sai Narajala , John Yeoh , Jason Ross , Ramesh Raskar , Youssef Harkati , Jerry Huang , Idan Habler , Chris Hughes

The increased adoption of the Model Context Protocol (MCP) for AI Agents necessitates robust security for Enterprise integrations. This paper introduces the MCP Gateway to simplify self-hosted MCP server integration. The proposed…

密码学与安全 · 计算机科学 2025-04-29 Ivo Brett

The Model Context Protocol (MCP), introduced by Anthropic in November 2024 and now governed by the Linux Foundation's Agentic AI Foundation, has rapidly become the de facto standard for connecting large language model (LLM)-based agents to…

密码学与安全 · 计算机科学 2026-04-08 Nirajan Acharya , Gaurav Kumar Gupta

Modern web test suites rot. A UI refactor breaks locators, a timing change causes race conditions, and within weeks developers abandon the suite entirely. This paper presents an AI-driven autonomous testing framework that addresses these…

密码学与安全 · 计算机科学 2026-05-18 Vinil Pasupuleti , Siva Rama Krishna Varma Bayyavarapu , Shrey Tyagi

The software supply chain attacks are becoming more and more focused on trusted development and delivery procedures, so the conventional post-build integrity mechanisms cannot be used anymore. The available frameworks like SLSA, SBOM and in…

密码学与安全 · 计算机科学 2025-12-30 Toqeer Ali Syed , Mohammad Riyaz Belgaum , Salman Jan , Asadullah Abdullah Khan , Saad Said Alqahtani

The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this space: Schema-Guided Dialogue (SGD), a research framework for…

人工智能 · 计算机科学 2026-03-27 Andreas Schlapbach

The proliferation of autonomous AI agents represents a paradigmatic shift from traditional web architectures toward collaborative intelligent systems requiring sophisticated mechanisms for discovery, authentication, capability verification,…

网络与互联网体系结构 · 计算机科学 2025-08-06 Sichao Wang , Ramesh Raskar , Mahesh Lambe , Pradyumna Chari , Rekha Singhal , Shailja Gupta , Rajesh Ranjan , Ken Huang

The rapid evolution of Large Language Models (LLMs) into autonomous, tool-calling agents has fundamentally altered the cybersecurity landscape. Frameworks like OpenClaw grant AI systems operating-system-level permissions and the autonomy to…

密码学与安全 · 计算机科学 2026-03-16 Zonghao Ying , Xiao Yang , Siyang Wu , Yumeng Song , Yang Qu , Hainan Li , Tianlin Li , Jiakai Wang , Aishan Liu , Xianglong Liu

Agentic AI denotes an architectural transition from stateless, prompt-driven generative models toward goal-directed systems capable of autonomous perception, planning, action, and adaptation through iterative control loops. This paper…

软件工程 · 计算机科学 2026-02-12 Mamdouh Alenezi

The field of Artificial Intelligence is undergoing a transition from Generative AI -- probabilistic generation of text and images -- to Agentic AI, in which autonomous systems execute actions within external environments on behalf of users.…

人工智能 · 计算机科学 2026-03-02 Sheng Cao , Zhao Chang , Chang Li , Hannan Li , Liyao Fu , Ji Tang

Large language model (LLM)-based AI agents extend LLM capabilities by enabling access to tools such as data sources, APIs, search engines, code sandboxes, and even other agents. While this empowers agents to perform complex tasks, LLMs may…

软件工程 · 计算机科学 2026-01-14 Aarya Doshi , Yining Hong , Congying Xu , Eunsuk Kang , Alexandros Kapravelos , Christian Kästner

Customer service automation is undergoing a structural transformation. The dominant paradigm is shifting from scripted chatbots and single-agent responders toward networks of specialised AI agents that compose capabilities dynamically…

人工智能 · 计算机科学 2026-03-20 Cosimo Spera

Large Language Models (LLMs) are increasingly deployed as agentic systems that plan, memorize, and act in open-world environments. This shift brings new security problems: failures are no longer only unsafe text generation, but can become…

密码学与安全 · 计算机科学 2026-03-03 Zhihang Deng , Jiaping Gui , Weinan Zhang

The integration of Large Language Models (LLMs) into mobile and software development workflows faces a persistent tension among three demands: semantic awareness, developer productivity, and data privacy. Traditional cloud-based tools offer…

软件工程 · 计算机科学 2025-12-10 Liao Hu , Qiteng Wu , Ruoyu Qi
‹ 上一页 1 2 3 10 下一页 ›