Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

57

Voted

JCS
2010

favoriteEmaildiscussreport

61views more JCS 2010»

Formal security analysis of PKCS#11 and proprietary extensions

14 years 8 months ago

Formal security analysis of PKCS#11 and proprietary extensions

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste

Real-time Traffic

JCS 2010 |

claim paper

Related Content

» Formal Analysis of PKCS11

» Security Analysis and Configuration of Large Networks

» Towards formal security analysis of GTRBAC using timed automata

» Compositionality of Security Protocols A Research Agenda

» ComponentBased Access Control Secure Software Composition through Static Analysis

» Constraint differentiation Searchspace reduction for the constraintbased analysis of secur...

» Towards an Automatic Analysis of Web Service Security

» On the protocol composition logic PCL

» All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution bu...

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JCS
Authors	Stéphanie Delaune, Steve Kremer, Graham Steel

Comments (0)