Model checking security policy model using both UML static and dynamic diagrams.

Liang Cheng, Yang Zhang

Browse the full SIN paper archive.