形式归纳相关硕士博士期刊学术论文

介绍了抽象状态机(ASM)，建立了基于这种形式化方法的协议描述于验证的环境，并建立了一般意义上的入侵者模型.作为应用实例，给出了Hels......