Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng. Classification, Formalization and Verification of Security Functional Requirements. In Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková, editors, SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings. Volume 4910 of Lecture Notes in Computer Science, pages 622-633, Springer, 2008. [doi]
Abstract is missing.