期刊文献+
共找到148篇文章
< 1 2 8 >
每页显示 20 50 100
汉语自动分词的研究现状与困难 被引量:60
1
作者 张春霞 郝天永 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期138-143,147,共7页
汉语自动分词是信息提取、信息检索、机器翻译、文本分类、自动文摘、语音识别、文本语音转换、自然语言理解等中文信息处理领域的基础研究课题。尽管已被研究了二十多年,分词仍然是中文信息处理的瓶颈问题。基于对汉语自动分词研究的... 汉语自动分词是信息提取、信息检索、机器翻译、文本分类、自动文摘、语音识别、文本语音转换、自然语言理解等中文信息处理领域的基础研究课题。尽管已被研究了二十多年,分词仍然是中文信息处理的瓶颈问题。基于对汉语自动分词研究的现状分析,构建了自动分词的形式化模型,论述了影响分词的诸多因素,分析了分词中存在的两个最大困难及其解决方法。最后指出了目前分词研究中尤其是在分词评测方面存在的问题以及未来的研究工作。 展开更多
关键词 汉语自动分词 形式化模型 未登录词 分词评测
下载PDF
基于属性的访问控制研究进展 被引量:84
2
作者 王小明 付红 张立臣 《电子学报》 EI CAS CSCD 北大核心 2010年第7期1660-1667,共8页
基于属性的访问控制(ABAC)能够解决开放网络环境下资源保护所面临的细粒度问题以及网络系统所面临的大规模用户问题,为未来的开放网络环境提供了较为理想的访问控制策略方案.本文从ABAC理论和应用研究两个方面详细分析和总结了ABAC国内... 基于属性的访问控制(ABAC)能够解决开放网络环境下资源保护所面临的细粒度问题以及网络系统所面临的大规模用户问题,为未来的开放网络环境提供了较为理想的访问控制策略方案.本文从ABAC理论和应用研究两个方面详细分析和总结了ABAC国内外的现有研究成果,分析了ABAC研究尚待解决的问题及未来研究趋势,为未来开放网络环境中的复杂信息系统访问控制研究提供借鉴和文献参考. 展开更多
关键词 安全策略 访问控制 实体属性 形式化模型 ABAC
下载PDF
特洛伊木马隐藏技术研究 被引量:43
3
作者 张新宇 卿斯汉 +3 位作者 马恒太 张楠 孙淑华 蒋建春 《通信学报》 EI CSCD 北大核心 2004年第7期153-159,共7页
主要研究Linux环境下的特洛伊木马隐藏技术,提出了协同隐藏思想,并给出木马协同隐藏的形式化模型。针对现有木马对抗实时检测的缺陷和通信隐藏能力的不足,采用实时检测对抗技术和隐蔽通道技术开发了一个内核级木马原型,改进了木马的隐... 主要研究Linux环境下的特洛伊木马隐藏技术,提出了协同隐藏思想,并给出木马协同隐藏的形式化模型。针对现有木马对抗实时检测的缺陷和通信隐藏能力的不足,采用实时检测对抗技术和隐蔽通道技术开发了一个内核级木马原型,改进了木马的隐藏能力。通过实验结果分析,这一木马体现了协同隐藏的思想,验证了实时检测对抗技术和网络隐蔽通道技术的有效性。 展开更多
关键词 数据安全与计算机安全 协同隐藏 形式化模型 特洛伊木马
下载PDF
信息安全模型研究 被引量:25
4
作者 蒋韬 李信满 刘积仁 《小型微型计算机系统》 EI CSCD 北大核心 2000年第10期1078-1081,共4页
随着网络技术迅速发展和不断应用 ,信息安全特别是网络安全成为人们研究的重点问题 .本文重点分析了一些典型的信息安全模型 ,采用形式化的安全模型开发方法 ,在构建信息安全系统中起到了重要作用 .考虑到在分布计算环境和移动计算环境... 随着网络技术迅速发展和不断应用 ,信息安全特别是网络安全成为人们研究的重点问题 .本文重点分析了一些典型的信息安全模型 ,采用形式化的安全模型开发方法 ,在构建信息安全系统中起到了重要作用 .考虑到在分布计算环境和移动计算环境的需求 。 展开更多
关键词 信息安全 形式化模型 BLP模型 CW模型
下载PDF
一个改进的可动态调节的机密性策略模型 被引量:33
5
作者 季庆光 卿斯汉 贺也平 《软件学报》 EI CSCD 北大核心 2004年第10期1547-1557,共11页
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标... 试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标签范围而增加模型在系统实现中的灵活性,能有效控制IPC对象.为此,把Amon ott动态地调整当前敏感标签的规则推广为动态地调整敏感标签范围的规则,这把Bell为处理网络情况而把主体的当前安全级变成敏感标签范围的工作与Amon ott的工作有机地结合起来,同时,参考实际中使用的系统GEMSOS和DG/UX及安全原型微内核系统Fluke,引入了单级实体、多级实体以及专用于进程的访问模式,并给出了它们应满足的不变量及限制性条件.另外,在参考原型系统TMach对IPC对象的某些处理方式的基础上,提出了使动态特征非常明显的IPC对象得到合理、有效管理的机制,同时还分析了ABLP实施方法中存在的一些不当之处.提出了一个新的机密性策略模型DBLP的模型不变量,限制性条件及变量类型和常量,并分析了一些限制性条件的合理性,它可以有效应用于系统设计. 展开更多
关键词 机密性策略 形式模型 安全级范围 多级实体 IPC对象
下载PDF
通信协议形式化模型的研究 被引量:4
6
作者 李腊元 《计算机学报》 EI CSCD 北大核心 1998年第5期419-427,共9页
本文提出了适应于通信协议的一类抽象形式化模型:抽象行为模型和抽象结构模型.前者主要包括事件、输入/输出、内部/外部和状态等子模型;后者主要包括交互点和分层子模型.文中讨论了这类形式模型的有效性和适用性,运用该类模型对... 本文提出了适应于通信协议的一类抽象形式化模型:抽象行为模型和抽象结构模型.前者主要包括事件、输入/输出、内部/外部和状态等子模型;后者主要包括交互点和分层子模型.文中讨论了这类形式模型的有效性和适用性,运用该类模型对通信协议的主要概念及性质进行了形式定义和描述.重点给出了基于该类模型的协议安全性及活性的形式定义,研讨了安全性及活性的验证,以及某些典型形式描述技术FDT(Estelle,LOTOS,SDL)之间的语义联系,从而为通信协议的研究提供了一种有效的形式基础. 展开更多
关键词 通信协议 形式化模型 谓词逻辑 计算机网络
下载PDF
技术创新空间扩散机理研究 被引量:13
7
作者 余迎新 许立新 +1 位作者 康凯 康志龙 《河北大学学报(自然科学版)》 CAS 2002年第2期124-128,共5页
从技术创新扩散的空间展开模式入手 ,分析了技术创新空间扩散的动力以及维度 ,通过对技术创新空间扩散过程与扩散环境间的互动演进过程 ,阐述了技术创新空间扩散机理 。
关键词 技术创新空间扩散 机理 维度 形式化模型
下载PDF
Windows系统Rootkit隐藏技术研究与实践 被引量:8
8
作者 康治平 向宏 胡海波 《计算机工程与设计》 CSCD 北大核心 2007年第14期3337-3340,3343,共5页
Rootkit是一组后门工具的集合,是特洛伊木马发展的高级阶段,其在特洛伊木马众多类别中危害性最大。深入研究Rootkit技术,做到网络攻防知己知彼,对防范木马攻击,减少网络破坏,保护重要信息系统有重要意义。通过研究Windows环境中Rootkit... Rootkit是一组后门工具的集合,是特洛伊木马发展的高级阶段,其在特洛伊木马众多类别中危害性最大。深入研究Rootkit技术,做到网络攻防知己知彼,对防范木马攻击,减少网络破坏,保护重要信息系统有重要意义。通过研究Windows环境中Rootkit的隐藏技术,结合协同隐藏思想,提出了Rootkit的形式化模型,并在此基础上开发了一个Windows系统下的Root-kit原型。实验结果表明,该原型达到了较好的隐藏效果,可以避开目前大多数检测工具的检测。 展开更多
关键词 特洛伊木马 隐藏技术 协同隐藏 形式化模型 网络安全
下载PDF
拓扑关系形式化描述的基本问题与研究进展 被引量:7
9
作者 邓敏 冯学智 刘文宝 《计算机工程与应用》 CSCD 北大核心 2004年第1期12-15,34,共5页
拓扑关系是GIS中空间目标之间最基本也是最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。该文首先介绍了不同的空间数据模型中拓扑信息的表达模式,然后重点回顾和评述了拓扑关系... 拓扑关系是GIS中空间目标之间最基本也是最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。该文首先介绍了不同的空间数据模型中拓扑信息的表达模式,然后重点回顾和评述了拓扑关系的建模方法以及拓扑关系形式化模型,并探讨了目前研究中存在的问题和有待进一步研究的工作。 展开更多
关键词 地理信息系统 拓扑关系 形式化方法 形式化模型
下载PDF
基于RFID普适计算环境的形式化上下文模型 被引量:9
10
作者 姜丽芬 卢桂章 辛运帏 《计算机工程》 CAS CSCD 北大核心 2007年第11期173-175,共3页
提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文,采用层次化的设计方法,提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计... 提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文,采用层次化的设计方法,提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计算环境的软件基础设施提供了一种可行的方法。 展开更多
关键词 普适计算 射频识别 上下文感知 本体 形式化模型
下载PDF
基于模型的CTCS-3级列控系统测试案例自动生成方法 被引量:15
11
作者 吕继东 朱晓琳 +2 位作者 李开成 唐涛 王海峰 《西南交通大学学报》 EI CSCD 北大核心 2015年第5期917-927,共11页
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场... 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 展开更多
关键词 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套
下载PDF
基于PAR的排序算法自动生成研究 被引量:12
12
作者 石海鹤 薛锦云 《软件学报》 EI CSCD 北大核心 2012年第9期2248-2260,共13页
排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法... 排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性. 展开更多
关键词 排序算法 自动生成 领域特定语言 形式化模型 PAR.方法
下载PDF
网络服务体系结构及其形式化模型的研究 被引量:6
13
作者 杨鹏 吴家皋 《计算机研究与发展》 EI CSCD 北大核心 2005年第7期1115-1122,共8页
下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的... 下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究网络服务体系结构中与服务相关的各种性质奠定了基础. 展开更多
关键词 下一代网络 信息基础设施 网络服务体系结构 交互 形式化模型
下载PDF
信息过滤中的中文自动分词技术研究 被引量:7
14
作者 孙铁利 李晓微 张妍 《计算机工程与科学》 CSCD 北大核心 2009年第3期80-82,100,共4页
文本信息过滤技术需要解决的一个重要问题是对文档进行形式化处理,使得文本成为可计算和推理的信息,而中文自动分词是中文信息处理的基础性工作。本文对中文自动分词的主要方法进行了研究分析,构造了分词的形式化模型,说明了自动分词中... 文本信息过滤技术需要解决的一个重要问题是对文档进行形式化处理,使得文本成为可计算和推理的信息,而中文自动分词是中文信息处理的基础性工作。本文对中文自动分词的主要方法进行了研究分析,构造了分词的形式化模型,说明了自动分词中存在的两个最大困难及其解决方法,最后指出了中文自动分词研究中存在的问题及未来的研究工作。 展开更多
关键词 中文自动分词 歧义 未登录词 形式化模型
下载PDF
法律合约与智能合约一致性综述 被引量:9
15
作者 刘琴 王德军 +2 位作者 王潇潇 郑绪睿 孟博 《计算机应用研究》 CSCD 北大核心 2021年第1期1-8,共8页
从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一... 从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。 展开更多
关键词 形式化模型 智能合约 合约模板 特定领域 代码生成
下载PDF
A formal model for access control with supporting spatial context 被引量:7
16
作者 ZHANG Hong HE YePing SHI ZhiGuo 《Science in China(Series F)》 2007年第3期419-439,共21页
There is an emerging recognition of the importance of utilizing contextual information in authorization decisions. Controlling access to resources in the field of wireless and mobile networking require the definition ... There is an emerging recognition of the importance of utilizing contextual information in authorization decisions. Controlling access to resources in the field of wireless and mobile networking require the definition of a formal model for access control with supporting spatial context. However, traditional RBAC model does not specify these spatial requirements. In this paper, we extend the existing RBAC model and propose the SC-RBAC model that utilizes spatial and location-based information in security policy definitions. The concept of spatial role is presented, and the role is assigned a logical location domain to specify the spatial boundary. Roles are activated based on the current physical position of the user which obtsined from a specific mobile terminal. We then extend SC-RBAC to deal with hierarchies, modeling permission, user and activation inheritance, and prove that the hierarchical spatial roles are capable of constructing a lattice which is a means for articulate multi-level security policy and more suitable to control the information flow security for safety-critical location-aware information systems. Next, con- strained SC-RBAC allows express various spatial separations of duty constraints, location-based cardinality and temporal constraints for specify fine-grained spatial semantics that are typical in location-aware systems. Finally, we introduce 9 in- variants for the constrained SC-RBAC and its basic security theorem is proven. The constrained SC-RBAC provides the foundation for applications in need of the constrained spatial context aware access control. 展开更多
关键词 information security RBAC spatial context LATTICE MLS CONSTRAINTS formal model
原文传递
体验构式语法:认知语言学的形式化模型 被引量:6
17
作者 郑开春 刘正光 《湖南大学学报(社会科学版)》 CSSCI 北大核心 2010年第1期57-62,共6页
介绍认知语言学流派中的新理论:体验构式语法。体验构式语法是夏威夷大学语言学系的Benjamin Bergen和伯克利国际计算机科学所的Nancy Chang等人最近几年提出的一个语言理解的形式模型。它以认知语言学的基本原理为理论基础,以计算机处... 介绍认知语言学流派中的新理论:体验构式语法。体验构式语法是夏威夷大学语言学系的Benjamin Bergen和伯克利国际计算机科学所的Nancy Chang等人最近几年提出的一个语言理解的形式模型。它以认知语言学的基本原理为理论基础,以计算机处理语言为目标,综合了不同语言学理论优势而提出,是认知语言学形式化与应用化的一个跨越式发展。 展开更多
关键词 认知语言学 体验构式语法 形式模型
下载PDF
基于过程与场景分析的航天应用软件测试方法 被引量:7
18
作者 张卫祥 张敏 +2 位作者 窦朝晖 马贤颖 魏波 《测控技术》 2020年第1期30-35,共6页
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,... 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 展开更多
关键词 系统测试 测试用例生成 形式化模型 场景分析 软件测试
下载PDF
DO-333标准形式化方法研究 被引量:5
19
作者 郝继锋 叶宏 任晓瑞 《航空计算技术》 2020年第1期124-129,共6页
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念... 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。 展开更多
关键词 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C
下载PDF
基于故障传播模型的硬件安全性与可靠性验证方法
20
作者 张茜歌 朱嘉诚 +3 位作者 马俊 沈利香 周佳慧 慕德俊 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第1期92-97,共6页
大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和... 大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和可靠性验证需求。研究面向安全性和可靠性验证的形式化模型,形成有效的硬件安全性与可靠性形式化验证方法。该方法能够从门级对集成电路进行建模,生成细粒度的形式化模型,实现对安全性与可靠性的形式化验证,可以捕捉硬件设计中潜在的安全隐患。实验结果表明该验证方法对硬件设计中存在的侧信道和硬件木马导致的信息泄露和篡改有很好的检测效果。 展开更多
关键词 形式化模型 故障效应分析 漏洞检测 硬件安全
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部