Login / Signup
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
Kaile Su
Qingliang Chen
Abdul Sattar
Weiya Yue
Guanfeng Lv
Xizhong Zheng
Published in:
J. Comput. Sci. Technol. (2006)
Keyphrases
</>
authentication protocol
cryptographic protocols
smart card
security analysis
public key
model counting
satisfiability problem
lightweight
security protocols
secret key
sat solvers
formal methods
model checking
sat problem
rfid systems
rfid tags
belief change
database systems
low cost