A Formal Equivalence Classes Based Method for Security Policy Conformance Checking.

Published in: CD-ARES (2012)

Keyphrases