A Formal Specification and Verification Method for Security Specification Based on CC
闫靖晨
Journal of Information Security Research . 2017, (7): 617 -623 .