A Model of a Protected System Under Unreliable Check-Out Conditions | IEEE Conference Publication | IEEE Xplore