TY - RPRT TI - Modelling and Analysis of Network Security - an Algebraic Approach AU - Qian Zhang AU - Ying Jiang AU - Peng Wu PY - 2016 UR - https://arxiv.org/abs/1512.01630 ID - 1512.01630 ER -