Abstract
We address the issue of declassification in a language-based security approach. We introduce, in a Core ML-like language with concurrent threads, a declassification mechanism that takes the form of a local flow policy declaration. The computation in
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have