白硕
- 作品数：7 被引量：76H指数：4
- 供职机构：国家智能计算机研究开发中心更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理语言文字更多>>
- 从信息技术革命看语言研究被引量：1
- 1998年
- 从信息技术革命看语言研究白硕一场深刻的信息技术革命正在迅速地改变着我们这个世界的面貌。在这场信息技术革命中，语言文字信息通过Ｉｎｔｅｒｎｅｔ在全球范围内的空前广泛的、不受地理距离约束的传播，恐怕是本世纪末给人印象最深的科技进展之一了。虽然由于种种原因...
- 白硕
- 关键词：信息技术革命语言研究语言学理论语言事实母语教学语法理论
- 背景（Ｃｏｎｔｅｘｔ）的逻辑研究
- 邱桂友白硕
- 关键词：人工智能逻辑系统
- 高阶神经网络、函数型连接神经网络及复值神经网络的非线性关联性
- 张中白硕
- 关键词：人工智能学习算法神经网络非线性
- 安全协议的验证逻辑被引量：41
- 2000年
- 该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进一步解决的问题 .
- 白硕隋立颖陈庆锋付岩庄超
- 关键词：信息安全INTERNET网密码学
- 电子商务安全协议及其非单调动态逻辑验证被引量：15
- 2000年
- 该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .
- 陈庆锋白硕王驹张师超隋立颖
- 关键词：信息安全逻辑验证电子商务安全协议
- SET协议中问题的分析及解决方案被引量：30
- 2000年
- 文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .
- 陈庆锋白硕王驹张师超隋立颖
- 关键词：电子商务信息安全SET协议计算机网络
- 电子商务安全协议的逻辑验证被引量：15
- 2000年
- 作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .
- 陈庆锋陈庆锋白硕白硕隋立颖
- 关键词：信息安全逻辑验证可追踪性电子商务安全协议
