C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Quantitative Verification of Opacity Properties in Security Systems.
Chunyan Mu
David Clark
Published in:
CoRR (2022)
Keyphrases
</>
security systems
rule based systems
multimodal biometrics
neural network
security mechanisms
biometric data
real time
model checking