Sciweavers

JCS
2010

Formal security analysis of PKCS#11 and proprietary extensions

14 years 7 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)