Validating Security Design Patterns Application Using Model Testing

Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Yoshiaki Fukazawa. Validating Security Design Patterns Application Using Model Testing. In 2013 International Conference on Availability, Reliability and Security, ARES 2013, Regensburg, Germany, September 2-6, 2013. pages 62-71, IEEE Computer Society, 2013. [doi]

Authors

Takanori Kobashi

This author has not been identified. Look up 'Takanori Kobashi' in Google

Nobukazu Yoshioka

This author has not been identified. Look up 'Nobukazu Yoshioka' in Google

Takao Okubo

This author has not been identified. Look up 'Takao Okubo' in Google

Haruhiko Kaiya

This author has not been identified. Look up 'Haruhiko Kaiya' in Google

Hironori Washizaki

This author has not been identified. Look up 'Hironori Washizaki' in Google

Yoshiaki Fukazawa

This author has not been identified. Look up 'Yoshiaki Fukazawa' in Google