Login / Signup

Quantitative Verification of Opacity Properties in Security Systems.

Chunyan MuDavid Clark
Published in: CoRR (2022)
Keyphrases
  • security systems
  • rule based systems
  • multimodal biometrics
  • neural network
  • security mechanisms
  • biometric data
  • real time
  • model checking