Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Dynamic Authorization for Knowledge-Base Agents in 6G
Loay Abdelrazek, Leyli Karacay, Marin Orlic
As 6G architectures transition toward decentralized Multi-Agent Systems (MAS), ensuring secure access to shared Knowledge Bases (KB) is critical. Traditional authorization models l…
cs.CR2025
Authorization of Knowledge-base Agents in an Intent-based Management Function
Loay Abdelrazek, Leyli Karaçay, Marin Orlic
As networks move toward the next-generation 6G, Intent-based Management (IbM) systems are increasingly adopted to simplify and automate network management by translating high-level…
cs.CR2017
Existential Assertions for Voting Protocols
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
In earlier work, we extend the Dolev-Yao model with assertions. We build on that work and add existential abstraction to the language, which allows us to translate common construct…