Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic | IEEE Conference Publication | IEEE Xplore