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]
@inproceedings{KobashiYOKWF13,
title = {Validating Security Design Patterns Application Using Model Testing},
author = {Takanori Kobashi and Nobukazu Yoshioka and Takao Okubo and Haruhiko Kaiya and Hironori Washizaki and Yoshiaki Fukazawa},
year = {2013},
doi = {10.1109/ARES.2013.13},
url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2013.13},
researchr = {https://researchr.org/publication/KobashiYOKWF13},
cites = {0},
citedby = {0},
pages = {62-71},
booktitle = {2013 International Conference on Availability, Reliability and Security, ARES 2013, Regensburg, Germany, September 2-6, 2013},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-5008-4},
}