Security Testing with Fault-Models and Properties | IEEE Conference Publication | IEEE Xplore