形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.......

本文研究了如下互利共生者与入侵者(P-M-E)模型的动力学性质：dP/dT=bpPM(1-M)(1E)(1P)PdM/dT=bMPM(1-μM)dMMdE/dT=bEPE(1-M)(1-αE......

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

形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点......