Formal Modeling and Security Analysis for Intra-level Privilege Separation.

Yinggang Guo Zicheng Wang Bingnan Zhong Qingkai Zeng

Published in: ACSAC (2022)

Keyphrases

security analysis
smart card
security properties
security requirements
user authentication
image encryption
encryption scheme
high security
formal model
public key
access control policies
data mining
intelligent agents
mutual authentication