SET协议中问题的分析及解决方案

文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .

安全协议的验证逻辑

该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进一步解决的问题 .

电子商务安全协议及其非单调动态逻辑验证

该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .

电子商务安全协议的逻辑验证

作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .

复杂性理论视域下的语文活动实践教学研究——以高中“当代文化参与”任务群为例

活动课程是高中语文课程中不可或缺的重要组成部分,“当代文化参与”作为高中语文重要的任务群之一,是语文实践课程的重要展现。“当代文化参与”在实行过程中往往存在束缚学生的自组织性、简化实际教学的复杂性以及忽视当代文化参与教学内容的整体性等诸多问题。复杂性视域具有自组性、非线性、不可还原性和整体性等特点,为“当代文化参与”任务群的具体实施提供了一定的理论视角。因此,文章作者用复杂性理论指引“当代文化参与”这样的实践活动,关注实践过程的非线性、复杂性和整体性,这有利于将学生的视野从形而上的概念转向社会生活,以更好地参与语文实践活动。