Integrated Security Verification and Validation: Case Study.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traor

Browse the full LCN paper archive.