Sign in
Refinement-Based Specification and Security Analysis of Separation Kernels.
Yongwang Zhao
David Sanán
Fuyuan Zhang
Yang Liu
Published in:
IEEE Trans. Dependable Secur. Comput. (2019)
Keyphrases
</>
security analysis
smart card
public key
security model
security requirements
security properties
image encryption
high security
encryption scheme
user authentication
authentication protocol
encryption algorithm
authentication scheme
mutual authentication
feature space
fine grained