Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs.

Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Published in: CCS (2017)

Keyphrases

algebraic properties
security properties
low level
cryptographic protocols
high level
formal methods
security protocols
fuzzy rough sets
formal model
security requirements
security analysis
smart card
model checking
key management
data mining
standard model
knowledge based systems
data analysis
decision making