形式化逻辑语言相关论文
电子商务是当前各国研究发展的热点，电子商务的普及与接受取决于以下属性的解决：安全、原子、隐私与匿名，它以电子商务协议为构成框架......
电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子商务协议的安全性是决定电子商务发展的关键因素。研究电子商......
提出了一种分析密码协议的新逻辑。针对信息安全的需要，给出了一套与加解密、签名等密码学操作有关的构造和推理规则，举例说明此逻辑......
