Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS

Conference object English OPEN
Bauereiss , Thomas; Hutter , Dieter;

Part 6: Information Flow Control; International audience; Motivated by typical security requirements of workflow management systems, we consider the integrated verification of both safety properties (e.g. separation of duty) and information flow security predicates of t... View more
Share - Bookmark