Cover Image

Traversal-as-Policy: Log-Distilled Gated Behavior Trees as Externalized, Verifiable Policies for Safe, Robust, and Efficient Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Peiran, Sun, Jiashuo, Lin, Fangzhou, Xing, Shuo, Fu, Tianfu, Feng, Suofei, Ni, Chaoqun, Tu, Zhengzhong
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
by: Chen, Zhiyuan, et al.
Published: (2026)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
by: Gong, Haochen, et al.
Published: (2025)

BibAgent: An Agentic Framework for Traceable Miscitation Detection in Scientific Literature
by: Li, Peiran, et al.
Published: (2026)

{A New Hope}: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation
by: Pan, Shidong, et al.
Published: (2024)

Policy-Governed RAG - Research Design Study
by: Ray, Jean-Marie Le
Published: (2025)

Let the Abyss Stare Back Adaptive Falsification for Autonomous Scientific Discovery
by: Li, Peiran, et al.
Published: (2026)

Guardrails as Infrastructure: Policy-First Control for Tool-Orchestrated Workflows
by: Sigdel, Akshey, et al.
Published: (2026)

An Adversarial Robust Behavior Sequence Anomaly Detection Approach Based on Critical Behavior Unit Learning
by: Zhan, Dongyang, et al.
Published: (2025)

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
by: Peng, Yibo, et al.
Published: (2025)

Enhancing REST API Fuzzing with Access Policy Violation Checks and Injection Attacks
by: Sahin, Omur, et al.
Published: (2026)

Hybrid Privacy Policy-Code Consistency Check using Knowledge Graphs and LLMs
by: Mao, Zhenyu, et al.
Published: (2025)

Evolution of Log-Based Detection Rules in Public Repositories
by: Long, Minjun, et al.
Published: (2026)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
by: Wang, Che, et al.
Published: (2024)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
by: Ron, Javier, et al.
Published: (2026)

OMLog: Online Log Anomaly Detection for Evolving System with Meta-learning
by: Tian, Jiyu, et al.
Published: (2024)

Centralized Defense: Logging and Mitigation of Kubernetes Misconfigurations with Open Source Tools
by: Russell, Eoghan, et al.
Published: (2024)

Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs
by: Yuan, He Yang, et al.
Published: (2026)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
by: Domenech, Alvaro Alonso, et al.
Published: (2024)

MARD: A Multi-Agent Framework for Robust Android Malware Detection
by: Zeng, Xueying, et al.
Published: (2026)

Exploiting LLM Agent Supply Chains via Payload-less Skills
by: Liu, Xinyu, et al.
Published: (2026)

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift
by: Yu, Jiongchi, et al.
Published: (2025)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
by: Wang, Yongchao, et al.
Published: (2026)

When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems
by: Wang, Su, et al.
Published: (2026)

AgentGuard: A Multi-Agent Framework for Robust Package Confusion Detection via Hybrid Search and Metadata-Content Fusion
by: Li, Yu, et al.
Published: (2026)

RiskTagger: An LLM-based Agent for Automatic Annotation of Web3 Crypto Money Laundering Behaviors
by: Lin, Dan, et al.
Published: (2025)

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
by: Castiglione, Gianpietro, et al.
Published: (2026)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
by: Okafor, Chinenye, et al.
Published: (2024)

Integrating Log-Based Security Analytics in Agile Workflows: A Real-World Experience Report
by: Thool, Arpit, et al.
Published: (2026)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
by: Zhang, Jiashuo, et al.
Published: (2024)

BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
by: Wang, Yongpan, et al.
Published: (2024)

SafeTrans: LLM-assisted Transpilation from C to Rust
by: Farrukh, Muhammad, et al.
Published: (2025)

OmniBOR: A System for Automatic, Verifiable Artifact Resolution across Software Supply Chains
by: Seshadri, Bharathi, et al.
Published: (2024)

Beyond Classification: Evaluating LLMs for Fine-Grained Automatic Malware Behavior Auditing
by: Zheng, Xinran, et al.
Published: (2025)

Closing the Chain: How to reduce your risk of being SolarWinds, Log4j, or XZ Utils
by: Hamer, Sivana, et al.
Published: (2025)

VULPO: Context-Aware Vulnerability Detection via On-Policy LLM Optimization
by: Li, Youpeng, et al.
Published: (2025)

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
by: Lu, Xiaoyue, et al.
Published: (2026)

A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
by: Hoops, Felix, et al.
Published: (2024)

Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning
by: Ni, Ronghao, et al.
Published: (2026)

CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
by: Hall, Bethel, et al.
Published: (2025)