Verifying security requirements using model checking technique for UML-based requirements specification.

Yoshitaka Aoki, Saeko Matsuura

Browse the full RE paper archive.