Sciweavers

JCS
2010

Formal security analysis of PKCS#11 and proprietary extensions

13 years 11 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)