A Pull-Type Security Patch Management of an Intrusion Tolerant System Under a Periodic Vulnerability Checking Strategy | IEEE Conference Publication | IEEE Xplore