Modeling multi-level intrusions in Z language | IEEE Conference Publication | IEEE Xplore