Necktie knots, formal languages and network security · HackerTrans