X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Ftesting-and-validation%2Fd6b.xml;h=fb8539bc02b8392f37973f34acd8fa96ce8cf0c2;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=67b6c72dc582481bff801ff64114f445014815da;hpb=2f3cd07536c7abacd73d144c9f033503457522d5;p=helm.git

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 67b6c72dc..fb8539bc0 100644
--- 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>