Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...