检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于交互式马尔可夫链的可信动态度量研究

计算机研究与发展 2011年第8期48卷 1464-1472页

作者：庄琭蔡勉沈昌祥北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描... 详细信息

可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.

关键词：可信计算可信动态度量交互式马尔可夫链功能度量性能度量

在线全文

学校读者我要写书评

暂无评论

基于行为的可信动态度量的状态空间约简研究

计算机学报 2014年第5期37卷 1071-1081页

作者：庄琭沈昌祥蔡勉北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系... 详细信息

针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性.

关键词：可信动态度量细粒度度量状态空间约简行为关系行为预期获取网络安全信息安全

基于细粒度逻辑隔离结构的缓冲区溢出检测方法

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2009年第S2期49卷 2138-2143页

作者：李晨李瑞华张兴庄琭北京工业大学计算机学院可信计算实验室北京100124

在计算机信息安全领域中,提出了一种缓冲区溢出及检测方法。采用图灵机,分析了产生溢出问题的原因是状态空间简化。攻击案例表明了现有检测机制在检测范围和检测时刻的不足。设计了细粒度的缓冲区数据逻辑隔离结构,提出了一种缓冲区溢... 详细信息

在计算机信息安全领域中,提出了一种缓冲区溢出及检测方法。采用图灵机,分析了产生溢出问题的原因是状态空间简化。攻击案例表明了现有检测机制在检测范围和检测时刻的不足。设计了细粒度的缓冲区数据逻辑隔离结构,提出了一种缓冲区溢出检测的通用模型,进行了时序逻辑分析。结果表明:该模型在检测粒度和范围上比传统方法更加准确和全面;在栈空间上的应用该模型,可以弥补现有缓冲区结构和检测机制的不足。

关键词：计算机信息安全缓冲区溢出细粒度逻辑隔离检测时刻检测范围

在线全文

学校读者我要写书评

暂无评论

基于软件行为的可信动态度量

武汉大学学报（理学版） 2010年第2期56卷 133-137页

作者：庄琭蔡勉李晨北京工业大学计算机学院北京100124

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行... 详细信息

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.

关键词：可信动态度量可信计算软件行为行为迹行为度量信息基(AMIB)

在线全文

学校读者我要写书评

暂无评论

移动存储介质端到端加密系统设计与实现

计算机工程与设计 2013年第1期34卷 1-7页

作者：宁静赵勇庄琭李瑜北京工业大学计算机学院北京100124 中国科学院软件研究所信息安全国家重点实验室北京100049

为构建安全可信的移动存储介质端到端数据传输过程,提出了一个移动存储介质上文件级别的细粒度加密传输系统,保证加密文件只能被指定用户或用户组解密。系统以公钥基础设施(PKI)为框架,采用数字证书和数字信封技术对存入介质的文件进行... 详细信息

为构建安全可信的移动存储介质端到端数据传输过程,提出了一个移动存储介质上文件级别的细粒度加密传输系统,保证加密文件只能被指定用户或用户组解密。系统以公钥基础设施(PKI)为框架,采用数字证书和数字信封技术对存入介质的文件进行加密处理,使用文件过滤驱动提供内核级系统保护,防止系统被旁路。开发了软件原型系统,结合硬件USB-KEY,验证了该设计可以全面保证细粒度的文件传输过程的机密性、安全性。

关键词：移动存储介质公钥基础设施端到端加密数字证书数字信封身份认证

在线全文

学校读者我要写书评

暂无评论

基于FPGA的基音检测算法的设计与实现

微计算机信息 2007年第35期23卷 206-208页

作者：庄琭贾熹滨许向众北京工业大学北京100022

将FPGA应用在数字信号处理的主流技术DSP中是Altera推广的重要应用之一,本文依据Altera提出的基于FPGA的DSP解决方案,按照面向系统级和算法级的硬件设计思路,为语音信号处理领域中一项重要技术——"基音周期特征提取"实现DSP-IP核和执... 详细信息

将FPGA应用在数字信号处理的主流技术DSP中是Altera推广的重要应用之一,本文依据Altera提出的基于FPGA的DSP解决方案,按照面向系统级和算法级的硬件设计思路,为语音信号处理领域中一项重要技术——"基音周期特征提取"实现DSP-IP核和执行架构的设计,并通过性能评价分析验证算法的DSP实现使整个系统在执行效率上的大幅提高。

关键词： DSP FPGA 基音周期自相关法

在线全文

学校读者我要写书评

暂无评论

于密歇根湖畔，回忆祖父来楚生

中国书法 2024年第5期 12-15页

作者：来琭

中秋节过后，陆续看到国内篆刻界的朋友发来的一大批祖父篆刻作品的照片，身在异国他乡，又一次见到那熟悉的篆刻作品，感触良多，往事历历在目。回忆祖父制印，首先会仔细观察那块印料，观察印料的尺寸、形状、质地等，

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

“语言匮乏”:超语转向下的语言治理

学习与实践 2024年第7期 133-140页

作者：罗琭昕华南农业大学人文与法学学院广东广州510642 广东省人文社科普及基地“国家通用语言文字运用能力培训基地” 广东广州510642

网络空间语言强势表达的“虹吸效应”极大削弱了个人基本词库,尤其改变了青年群体的语言交流方式,使得其语言表达词不达意,表达单一,语言空洞。语言本身从不匮乏,丰富的社会语言生活与羸弱的语言文字应用能力的不匹配,造成了“语言匮乏... 详细信息

网络空间语言强势表达的“虹吸效应”极大削弱了个人基本词库,尤其改变了青年群体的语言交流方式,使得其语言表达词不达意,表达单一,语言空洞。语言本身从不匮乏,丰富的社会语言生活与羸弱的语言文字应用能力的不匹配,造成了“语言匮乏”群体焦虑。超语转向使得语言表达手段与场景多元化,带来突破语言边界的可能。要正视超语转向中的多模态语言符号创新,完善个体—群体—国家层面的语言治理。

关键词： “语言匮乏” 网络空间语言超语转向语言治理

重行体“V过”的跨方言比较——从南昌方言表更新的“过_(3)”说起

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

汉语学报 2024年第3期 107-116页

作者：罗琭昕华南农业大学人文与法学学院 510642

本文以精细化思路对重行体语法意义再审视,论证南昌方言“过_(3)”强调事件更新之目的,其更新在于事物属性的全部或单个更换。南昌方言重行体具有后接不定指“一量”强倾向,可与加量重行的“凑”同现。通过跨方言比较,得到重行结构的方... 详细信息

本文以精细化思路对重行体语法意义再审视,论证南昌方言“过_(3)”强调事件更新之目的,其更新在于事物属性的全部或单个更换。南昌方言重行体具有后接不定指“一量”强倾向,可与加量重行的“凑”同现。通过跨方言比较,得到重行结构的方言参数项:前提(非)理想、类义副词前搭配、类义体标记后搭配、数量成分的组配。“过_(3)”源于“从头到尾V一遍”的“过_(02)”,符合语用推理的事理性关联触发重行用法,若处于次第义环境,则为表轮流、交替的“过_(4)”。受普通话“重新来过”与北京口语变化的启发,判定重行结构基式为动词与“过_(3)”组合,“副词V过”是后起框式结构。

关键词：南昌方言重行体 “V过” 跨方言来源