Real-Time Access Control Rule Fault Detection Using a Simulated Logic Circuit - Hu, Vincent C.; Scarfone, Karen (2013 International Conference on Social Computing, 2013)
Keywords: Access control; Authorization; Biological system modeling; Circuit faults; Fault detection; Logic circuits; Logic gates; Model Verification; Real-time systems; Testing; Verification