Classification, Formalization and Verification of Security Functional Requirements.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Browse the full SOFSEM paper archive.