Research of safety and survivability models of the information system for critical use | IEEE Conference Publication | IEEE Xplore