ocaml 3.09 transition

[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
index 67b6c72dc582481bff801ff64114f445014815da..fb8539bc02b8392f37973f34acd8fa96ce8cf0c2 100644 (file)
--- a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml
+++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml
@@ -3,7 +3,10 @@
 <!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>
+ <name>Validation 2: Smart Card Security</name>
+ <working-package file="testing-and-validation"/>
+ <leader-site file="trusted-logic"/>
+ <extimated-person-month value="9"/>
+ <type value="report"/>
+ <to-be-delivered>Month 30</to-be-delivered>
 </deliverable>