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