Yoshitaka Aoki, Saeko Matsuura. Verifying security requirements using model checking technique for UML-based requirements specification. In Michael Felderer, Elizabeth Bjarnason, Matt Staats, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner, editors, 1st IEEE International Workshop on Requirements Engineering and Testing, RET 2014, Karlskrona, Sweden, August 26, 2014. pages 18-25, IEEE, 2014. [doi]
Abstract is missing.