UML based Security Function Policy Verification Method for Requirements Specification. - Atsushi Noro; Saeko Matsuura (COMPSAC, 2013)