NAKUMURA YUHICHI

Method for model based verification of security policies for web service composition