Boolean-valued models of telecommunication systems in some problems of network security | IEEE Conference Publication | IEEE Xplore