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

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
   4
   5 <deliverable id="D6.b">
   6  <name>Validation 2: Documents describing the formalization
   7        of a security function embedded into a smart card and the proof that
   8        the code meets its security objectives.</name>
   9 </deliverable>