22.01.2015 Views

Military Communications and Information Technology: A Trusted ...

Military Communications and Information Technology: A Trusted ...

Military Communications and Information Technology: A Trusted ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

394 <strong>Military</strong> <strong>Communications</strong> <strong>and</strong> <strong>Information</strong> <strong>Technology</strong>...<br />

[15] NC3B SC/4, “<strong>Information</strong> Assurance Technical <strong>and</strong> Implementation Directive on<br />

Security Management Infrastructure (SMI),” AC/322(SC/4)WP(2010)0008, 2010.<br />

[16] NAC, “NATO Policy for the Implementation of a PKI for NATO Communication<br />

<strong>and</strong> <strong>Information</strong> Systems,” Brussels, Belgium, AC/322-D(2003)005, 2003.<br />

[17] NAC, “Directive for NATO Public Key Infrastructure (NPKI) Interoperability with<br />

the Nations,” Brussels, Belgium, AC/322-D(2005)0025-REV1, 2010.<br />

[18] K. Wrona, G. Hallingstad, <strong>and</strong> S. Oudkerk, “Risk-aware <strong>and</strong> policy-compliant<br />

approach to network configuration,” in Proceedings of the 12th <strong>Military</strong> <strong>Communications</strong><br />

<strong>and</strong> <strong>Information</strong> Systems Conference (MCC), Wroclaw, Pol<strong>and</strong>, 2010.<br />

[19] H. Debar, Y. Thomas, N. Boulahia-Cuppens, <strong>and</strong> F. Cuppens, “Using Contextual<br />

Security Policies for Threat Response,” in Proceedings of the DIMVA, vol. LNCS 4064,<br />

2006, pp. 109-128.<br />

[20] H. Debar, D. Curry, <strong>and</strong> B. Feinstein, “The Intrusion Detection Message Exchange<br />

Format (IDMEF),” IETF, RFC 4765, 2007.<br />

[21] T. Nipkow, L. Paulson, <strong>and</strong> M. Wenzel, A Proof Assistant for Higher-Order Logic.:<br />

Springer-Verlag, 2011.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!