- <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>