A Unified Formal Model for Proving Security and Reliability Properties.

Wei Hu Lingjuan Wu Yu Tai Jing Tan Jiliang Zhang

Published in: ATS (2020)

Keyphrases

formal model
security properties
security patterns
security requirements
formal models
information security
smart card
security policies
computer security
security analysis
security protocols
security systems
predicate calculus