PORTAM: policy, requirements, and threats analyzer for mobile code applications (Special issue: The future of software engineering for security and privacy) / 海谷 治彦 ; 佐々木 宏太 ; 海尻 賢二