Using software reliability models for security assessment — Verification of assumptions | IEEE Conference Publication | IEEE Xplore