openalexJournal of Intelligent Decision Making and Information Science2026-07-23
Real-Time Session Control Using Temporal Logic Enforcement
Real-Time Session Control Using Temporal Logic Enforcement presents a formal system of checking and enforcing the secure behaviors of the session in dynamically computing environments. The suggested model models session states and events as formal transitions between states and u…