Abstract : According to the problem that first-order logic model for security protocols can not give the understandable attack sequence, this paper introduces an improved model, which classifies the rules and unify operations, presents operation replacement rules, and develops a new system that can reconstruct attack sequence.
基于1个网页-相关网页
应用推荐