Security Requirements Verification for Existing Systems with Model Checking Technique and UML.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Browse the full MODELSWARD paper archive.