Expressive policy analysis with enhanced system dynamicityRobert CravenJorge Loboet al.2009ASIACCS 2009
The coalition policy management portal for policy authoring, verification, and deploymentCarolyn BrodieDavid Georgeet al.2008POLICY 2008
Secure dynamic community establishment in coalitionsEskindir AsmareNaranker Dulayet al.2007MILCOM 2007