Verifying Opacity Properties in Security Systems.

Chunyan Mu David Clark

Published in: IEEE Trans. Dependable Secur. Comput. (2023)

Keyphrases

security systems
rule based systems
security mechanisms
real time
genetic algorithm
low cost
biometric data