Verifying Secure Interface Composition for Component-Based System Designs.

Cong Sun, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma

Browse the full APSEC paper archive.