Sciweavers

JCS
2010
61views more  JCS 2010»

Formal security analysis of PKCS#11 and proprietary extensions

15 years 1 months ago
Formal security analysis of PKCS#11 and proprietary extensions
Stéphanie Delaune, Steve Kremer, Graham Ste
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JCS
Authors Stéphanie Delaune, Steve Kremer, Graham Steel
Comments (0)