Login / Signup
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.
Agnieszka M. Zbrzezny
Sabina Szymoniak
Miroslaw Kurkowski
Published in:
Log. J. IGPL (2022)
Keyphrases
</>
security systems
multimodal biometrics
rule based systems
security mechanisms
satisfiability modulo theories