A Module Level Security Evaluation Method Based on Model Checking.

Yuxin Liu, Ziyuan Zhu, Yusha Zhang, Zhongkai Tong, Wenjing Cai, Dan Meng

Browse the full CSCWD paper archive.