Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.

Farzaneh Derakhshan Stephanie Balzer Yue Yao

Published in: CoRR (2024)

Keyphrases

information flow control
database systems
higher order
optimal policy
lightweight
open source
information flow
nested transactions
lambda calculus
search engine
reinforcement learning
management system
access control