Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition.

Cong Sun, Ning Xi, Jianfeng Ma

Browse the full COMPSAC paper archive.