Sciweavers

IFIP
2010
Springer

Formal Analysis of Key Integrity in PKCS#11

13 years 7 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
Added 18 May 2011
Updated 18 May 2011
Type Journal
Year 2010
Where IFIP
Authors Andrea Falcone, Riccardo Focardi
Comments (0)