Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a conference talk on DCRSec, a confidentiality-aware declarative process language with data-dependent security levels and an information flow monitor. Delve into how this language prevents violations of information flow policies and models process instances flexibly yet precisely. Examine the semantics based on Dynamic Condition Response Graph language, allowing for data-aware, event-based processes with finitary and infinitary computations. Understand the key technical contribution of a termination-insensitive information flow monitor and its proof of non-interference, soundness, and transparency in all DCRSec process traces. Learn about the application of data-dependent security levels in shaping precise information flow policies and identifying security compartments through an illustrative example.
