Secure Socket Shell Bruteforce Attack Detection With Petri Net Modeling | IEEE Journals & Magazine | IEEE Xplore