中文
相关论文

相关论文: Anumati: Proof of Adherence as a Formal Consent Mo…

200 篇论文

OpenID Connect for Agents (OIDC-A) 1.0 is an extension to OpenID Connect Core 1.0 that provides a comprehensive framework for representing, authenticating, and authorizing LLM-based agents within the OAuth 2.0 ecosystem. As autonomous AI…

网络与互联网体系结构 · 计算机科学 2025-10-01 Subramanya Nagabhushanaradhya

Colluding language-model agents can hide coordination in messages that remain policy-compliant at the surface level. We present CLBC, a protocol where generation and admission are separated: a message is admitted to transcript state only if…

密码学与安全 · 计算机科学 2026-03-03 Om Tailor

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 Agentic AI systems evolve from basic workflows to complex multi agent collaboration, robust protocols such as Google's Agent2Agent (A2A) become essential enablers. To foster secure adoption and ensure the reliability of these complex…

密码学与安全 · 计算机科学 2025-05-06 Idan Habler , Ken Huang , Vineeth Sai Narajala , Prashant Kulkarni

Current AI agent frameworks commit early to a single interaction protocol, a fixed tool integration strategy, and static user models, limiting their deployment across diverse interaction paradigms. To address these constraints, we introduce…

人工智能 · 计算机科学 2026-03-25 Alfred Shen , Aaron Shen

Artificial intelligence is rapidly evolving towards multi-agent systems where numerous AI agents collaborate and interact with external tools. Two key open standards, Google's Agent to Agent (A2A) protocol for inter-agent communication and…

多智能体系统 · 计算机科学 2025-05-08 Qiaomu Li , Ying Xie

Current methods for authentication and key agreement based on public-key cryptography are vulnerable to quantum computing. We propose a novel approach based on artificial intelligence research in which communicating parties are viewed as…

密码学与安全 · 计算机科学 2021-07-12 Ibrahim H. Ahmed , Josiah P. Hanna , Elliot Fosong , Stefano V. Albrecht

Advances in large language models have enabled agentic AI systems that can reason, plan, and interact with external tools to execute multi-step workflows, while public blockchains have evolved into a programmable substrate for value…

人工智能 · 计算机科学 2026-01-09 Saad Alqithami

This paper focuses on a dynamic aspect of responsible autonomy, namely, to make intelligent agents be responsible at run time. That is, it considers settings where decision making by agents impinges upon the outcomes perceived by other…

人工智能 · 计算机科学 2022-03-23 Munindar P. Singh

This paper presents an architecture for simulating the actions of a norm-aware intelligent agent whose behavior with respect to norm compliance is set, and can later be changed, by a human controller. Updating an agent's behavior mode from…

计算机科学中的逻辑 · 计算机科学 2025-02-14 Sean Glaze , Daniela Inclezan

The AI agent ecosystem has converged on two protocols: the Model Context Protocol (MCP) for tool invocation and Agent-to-Agent (A2A) for single-principal task delegation. Both assume a single controlling principal, meaning one person or…

多智能体系统 · 计算机科学 2026-04-14 Kaiyang Qian , Xinmin Fang , Zhengxiong Li

Orchestrated multi-agent systems represent the next stage in the evolution of artificial intelligence, where autonomous agents collaborate through structured coordination and communication to achieve complex, shared objectives. This paper…

多智能体系统 · 计算机科学 2026-01-21 Apoorva Adimulam , Rajesh Gupta , Sumit Kumar

Real-world requests to AI agents are fundamentally underspecified. Natural human communication relies on shared context and unstated constraints that speakers expect listeners to infer. Current agentic benchmarks test explicit…

人工智能 · 计算机科学 2026-02-25 Ved Sirdeshmukh , Marc Wetter

Enterprise AI backends increasingly admit heterogeneous execution requests across model deployment, inference, evaluation, data movement, and agentic workflows. In many systems, those requests arrive in service-specific shapes, which makes…

软件工程 · 计算机科学 2026-05-12 Krti Tallam

AI agents, empowered by Large Language Models (LLMs) and communication protocols such as MCP and A2A, have rapidly evolved from simple chatbots to autonomous entities capable of executing complex, multi-step tasks, demonstrating great…

机器学习 · 计算机科学 2025-05-26 Erhu Feng , Wenbo Zhou , Zibin Liu , Le Chen , Yunpeng Dong , Cheng Zhang , Yisheng Zhao , Dong Du , Zhichao Hua , Yubin Xia , Haibo Chen

Traditional software relies on contracts -- APIs, type systems, assertions -- to specify and enforce correct behavior. AI agents, by contrast, operate on prompts and natural language instructions with no formal behavioral specification.…

人工智能 · 计算机科学 2026-02-27 Varun Pratap Bhardwaj

Large Language Models (LLMs) and other foundation models are increasingly used as the core of AI agents. In agentic workflows, these agents plan tasks, interact with humans and peers, and influence scientific outcomes across federated and…

分布式、并行与集群计算 · 计算机科学 2025-08-21 Renan Souza , Amal Gueroudji , Stephen DeWitt , Daniel Rosendo , Tirthankar Ghosal , Robert Ross , Prasanna Balaprakash , Rafael Ferreira da Silva

AI agents increasingly call tools via the Model Context Protocol (MCP) and delegate to other agents via Agent-to-Agent (A2A), yet neither protocol verifies agent identity. A scan of approximately 2,000 MCP servers found all lacked…

密码学与安全 · 计算机科学 2026-03-27 Sunil Prakash

This paper is preoccupied with the following question: given a (possibly opaque) learning system, how can we understand whether its behaviour adheres to governance constraints? The answer can be quite simple: we just need to "ask" the…

人工智能 · 计算机科学 2021-02-10 Andrea Aler Tubella , Andreas Theodorou , Juan Carlos Nieves

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