公共文化服务平台

共 5 条记录，以下是 1-8

全选清除导出

排序方式：

CONTINUITY OF POSETS VIA FUZZY TOPOLOGY: In this paper some intrinsic fuzzy topologies of posets are defined and the new concept of fuzzy sets based on...; Luoshan XuDepartment of Mathematics; 关键词：POSET

SET证书申请协议在SPV下的自动化验证及改进被引量：3: 2008年; 基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPSL(Common Authentication Protocol Specification Language)协议规范及单层、多层认知规范.应用一个逻辑或工具对协议进行验证首先必须对该协议进行简化,而SET协议作为当前最复杂的工业级协议,其原始文档有上千页,因此简化过程相当困难,相关研究较少,已有的一些简化模型也不够完整.因此,文章针对SET证书申请协议,给出了比以往更贴近原协议的简化模型,并详细阐述了该模型在SPV下的形式化描述及验证过程、验证结果,分析了由于协议不满足某些认知规范所带来的安全隐患,从而对协议进行改进,最后证明了改进后协议的有效性.该工作也充分说明了SPV足以处理复杂的工业级协议.; 肖茵茵苏开乐岳伟亚陈清亮吕关锋杨晋吉; 关键词：自动化验证 SPV 认证性秘密性

整合非单调推理及时态推理(英文): 2007年; 在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.; 沈榆平赵希顺; 关键词：非单调推理

MAX和MARG中公式改名的复杂性(英文): 2006年; 研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．; 许道云; 关键词：极小不可满足公式图同构

(Locally) Meet Continuous Posets and the （Local） Scott Topology: ＜正＞ The algebraic notion of meet continuous lattices has purely topological characterizations and is generaliz...; 毛徐新徐罗山; 文献传递

偏序集上的滤子极大理想被引量：18: 2007年; 在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。; 姜广浩徐罗山; 关键词：连续DOMAIN 连续格

Knowledge structure approach to verification of authentication protocols被引量：5: 2005年; SUKaile LüGuanfeng CHENQingliang

Weakly Monotone Convergence Spaces and Characterizations of Continuous Posets: ＜正＞ In [4], Lawson proved that a dcpo is continuous iff its Scott topology is completely distributive. By the ...; 徐罗山毛徐新; 文献传递

全选清除导出

共1页<1>

国家自然科学基金(10410638)