Deliverables added.

[helm.git] / helm / mowgli / home / xml / deliverables / testing-and-validation / d6b.xml

diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml
new file mode 100644 (file)
index 0000000..67b6c72
--- /dev/null
+++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml
@@ -0,0 +1,9 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
+
+<deliverable id="D6.b">
+ <name>Validation 2: Documents describing the formalization
+       of a security function embedded into a smart card and the proof that
+       the code meets its security objectives.</name>
+</deliverable>