A Model-Based Method for Security Configuration Verification.

Hiroshi Sakaki, Kazuo Yanoo, Ryuichi Ogawa

Browse the full IWSEC paper archive.