Login / Signup
System Security Assessment through Specification Mutations and Fault Injection.
Rauli Kaksonen
Marko Laakso
Ari Takanen
Published in:
Communications and Multimedia Security (2001)
Keyphrases
</>
fault injection
java card
fault model
smart card
control flow
countermeasures
security level
high level
virtual machine
data flow
open source
software systems
static analysis