Asymptotic Information Security Management Formal Description for Critical Information Infrastructure | IEEE Conference Publication | IEEE Xplore