The Runtime model checking Method for Zero Trust Security Policy.

Zhi Niu Luming Dong Yong Zhu

Published in: ICCSIE (2022)

Keyphrases

model checking
verification method
computational complexity
security policies
unsupervised learning
information systems
distributed systems
temporal logic
finite state