![](/img/cover-not-exists.png)
[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Hybrid Multi-module Security Policy Verification
Kotenko, Igor, Chervatuk, Olga, Sidelnikova, Ekaterina, Tishkov, ArtemYear:
2007
Language:
english
DOI:
10.1109/policy.2007.25
File:
PDF, 139 KB
english, 2007