• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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