2000, 22(1): 73-77.
刊出日期:2000-01-19
关键词:
认证协议; BAN逻辑
本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
1997, 19(1): 137-140.
刊出日期:1997-01-19
本文给出了一种高精度的稳定的色散边界条件(DBC),可应用于传输线的时域有限差分法(FDTD)的分析之中。我们用一个新的二阶差分式代替了边界条件中的微分算子。与P。Y。Zhao等人(1994)提出的色散边界条件相比,本文中的边界条件具有相同的绝对稳定特性,但具有更好的吸收性能。