Login / Signup
Formal Analysis of PKCS#11.
Stéphanie Delaune
Steve Kremer
Graham Steel
Published in:
CSF (2008)
Keyphrases
</>
formal analysis
java card
agent model
formal methods
ban logic
real time