Login / Signup
Refinement-based Specification and Security Analysis of Separation Kernels.
Yongwang Zhao
David Sanán
Fuyuan Zhang
Yang Liu
Published in:
CoRR (2017)
Keyphrases
</>
security analysis
public key
security requirements
high security
smart card
security properties
security model
image encryption
authentication protocol
mutual authentication
user authentication
encryption scheme
encryption algorithm
feature space
information security