中国期刊全文数据库 共找到 2 条

[1]	白硕,隋立颖,陈庆锋,付岩,庄超. 安全协议的验证逻辑[J]软件学报, 2000,(02) .
[2]	陈庆锋,白硕,王驹,张师超,隋立颖. 电子商务安全协议及其非单调动态逻辑验证[J]软件学报, 2000,(02) .