Login / Signup
Soft correction and verification of the messages protected by cryptographic check values.
Natasa Zivic
Published in:
CISS (2011)
Keyphrases
</>
email
error detection
model checking
user defined
smart card
standard deviation
cryptographic protocols
asynchronous circuits
secure communication
neural network
genetic algorithm
decision trees
error correction
formal verification
verification method