国家自然科学基金(10410638)

作品数：5被引量：25H指数：2
导出分析报告
相关作者：徐罗山姜广浩苏开乐肖茵茵岳伟亚更多>>
相关机构：中山大学扬州大学南京大学北京工业大学更多>>
相关期刊：《模糊系统与数学》《南京大学学报（数学半年刊）》《计算机学报》更多>>
相关主题：英文既约极大元连续格连续DOMAIN更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SET证书申请协议在SPV下的自动化验证及改进被引量：3
《计算机学报》2008年第6期1035-1045,共11页肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉 
国家“九七三”重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60496327,10410638,60473004);广东省自然科学基金(06023195);广东省自然科学基金团队项目(04205407)资助~~
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS...
关键词：SET证书申请协议 自动化验证 SPV 认证性 秘密性 
整合非单调推理及时态推理(英文)
《南京大学学报（数学半年刊）》2007年第2期187-203,共17页沈榆平 赵希顺 
NSFC of Project (No.60573011,10410638)
在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.
关键词：非单调推理 时态约束推理 回答采编程 计算复杂性 
偏序集上的滤子极大理想被引量：18
《模糊系统与数学》2007年第4期35-42,共8页姜广浩 徐罗山 
国家自然科学基金资助项目(10410638);江苏省教育厅基金资助项目
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains...
关键词：滤子极大理想 伪极大元 伪既约元 连续DOMAIN 连续格 
MAX和MARG中公式改名的复杂性(英文)
《南京大学学报（数学半年刊）》2006年第2期181-199,共19页许道云 
Supported by the National Natural Science Foundation of China (No. 60463001,No. 10410638, No. 60310213).
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．
关键词：复杂性 变元改名 文字改名 极小不可满足公式 图同构 
Knowledge structure approach to verification of authentication protocols被引量：4
《Science in China(Series F)》2005年第4期513-532,共20页SUKaile LüGuanfeng CHENQingliang 
the reviewers.an d the trem endous kind help from the editors.This work was supported by the National Natural Science Foundation of China(Grant Nos.64096327,10410638 , 60473004);Germ an Research Foundation(Grant No.446 CHV1 13/240/0.1); Guangdong Provincial Natural Science Foundation(Grant No.04205407)
The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of K...
关键词：formal verification security protocol epistemic logic Kripke semantics knowledge structure. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部