Hiroshi Wada, Junichi Suzuki, Katsuya Oba: A Service-Oriented Design Framework for Secure Network Applications. COMPSAC (1) 2006: 359-368