The paper introduces AICCE, an AI-driven engine that uses generative systems and dual-architecture reasoning to accurately verify IPv6 compliance, overcoming the limitations of traditional rule-based checkers.
For digital infrastructure to be safe, compatible, and standards-aligned, automated communication protocol compliance verification is crucial. Nevertheless, current rule-based systems are becoming less and less effective since they are unable to identify subtle or intricate non-compliance, which attackers frequently use to establish covert communication channels in IPv6 traffic. In order to automate IPv6 compliance verification, this paper presents the Artificial Intelligence Driven Compliance Checker Engine (AICCE), a novel generative system that combines dual-architecture reasoning and retrieval-augmented generation (RAG). Specification segments pertinent to each query can be efficiently retrieved thanks to the semantic encoding of protocol standards into a high-dimensional vector space. Based on this framework, AICCE offers two complementary pipelines: (i) Explainability Mode, which uses parallel LLM agents to render decisions and settle disputes through organized discussions to improve interpretability and robustness, and (ii) Script Execution Mode, which converts clauses into Python rules that can be executed quickly for dataset-wide verification. With the debate mechanism enhancing decision reliability in complicated scenarios and the script-based pipeline lowering per-sample latency, AICCE achieves accuracy and F1-scores of up to 99% when tested on IPv6 packet samples across sixteen cutting-edge generative models. By offering a scalable, auditable, and generalizable mechanism for identifying both routine and covert non-compliance in dynamic communication environments, our results show that AICCE overcomes the blind spots of conventional rule-based compliance checking systems.
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem…
The paper introduces the Lean-Agent Protocol, a formal verification platform tha…
Towards the Development of an LLM-Based Methodology for Automated Security Profiling in Compliance w…
The paper proposes an LLM-enhanced methodology using RAG to automate the creatio…
A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Fi…
The paper proposes a Regulatory Compliance Protocol (RCP) to standardize and pro…
AI Agents Under EU Law
This paper provides a systematic regulatory mapping and compliance architecture…
Synthetic Trust Attacks: Modeling How Generative AI Manipulates Human Decisions in Social Engineerin…
The paper introduces Synthetic Trust Attacks (STAs) as a formal threat category,…
Robust Covert Quantum Communication under Bounded Channel Uncertainty
The paper develops a robust framework for covert quantum communication by analyz…
Privacy as Permissible Operations: An ABAC Framework for Policy-Law Compliance
The paper introduces APLiance, a novel ABAC framework that models privacy polici…
Aegon: Auditable AI Content Access with Ledger-Bound Tokens and Hardware-Attested Mobile Receipts
Aegon is a new protocol that provides an auditable, tamper-evident infrastructur…