庄琭
- 作品数：21 被引量：27H指数：3
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于现场可编程门阵列的识别卡接口控制器
- 一种基于现场可编程门阵列的识别卡接口控制器，该控制器的主设备与Avalon开关互联模块；Aval on开关互联模块与识别卡接口控制器通过接口A连接识别卡接口控制器通过接口B与识别卡连接，并对识别卡的状态进行操作；识别卡接...
- 庄琭侯石柱周雅稚谢俊贾毫杰郝文英陈凯于书举许向众彭建朝杜永萍张建标侍伟敏
- 文献传递
- 基于现场可编程门阵列的识别卡接口控制器与实现方法
- 一种基于现场可编程门阵列的识别卡接口控制器与实现方法，该控制器的主设备与Avalon开关互联模块；Aval on开关互联模块与识别卡接口控制器通过接口A连接识别卡接口控制器通过接口B与识别卡连接，并对识别卡的状态进行操作...
- 庄琭侯石柱周雅稚谢俊贾毫杰郝文英陈凯于书举许向众彭建朝杜永萍张建标侍伟敏
- 文献传递
- 基于实体行为依赖关系的完整性度量方案
- 2010年
- 针对由于交互行为而导致的安全威胁,以及现有完整性度量方案在度量范围和度量内容上的不足,从实体行为的角度出发,分析了实体行为之间的依赖关系,构建了实体行为依赖集合。提出了一种基于实体行为依赖关系的完整性度量方案,在实体行为依赖集合上定义了实体行为完整性度量函数,以及实体行为预期符合函数,最后给出了交互行为之间进行完整性度量和验证的具体过程。该方案从实体行为的实体完整性和数据完整性两个方面进行度量,改进了现有完整性度量方案的不足,增加了完整性验证的灵活性。
- 李瑞华李晨庄琭蒋敏慧
- 基于FPGA的基音检测算法的设计与实现
- 2007年
- 将FPGA应用在数字信号处理的主流技术DSP中是Altera推广的重要应用之一,本文依据Altera提出的基于FPGA的DSP解决方案,按照面向系统级和算法级的硬件设计思路,为语音信号处理领域中一项重要技术——"基音周期特征提取"实现DSP-IP核和执行架构的设计,并通过性能评价分析验证算法的DSP实现使整个系统在执行效率上的大幅提高。
- 庄琭贾熹滨许向众
- 关键词：DSPFPGA基音周期自相关法
- 基于逻辑隔离的缓冲区溢出动态度量方法
- 本发明公开了一种基于逻辑隔离的缓冲区溢出动态度量方法，包括缓冲区数据的逻辑隔离，进程运行中基于此逻辑隔离的缓冲区动态度量，以实现针对缓冲区溢出的检测。不修改当前计算机体系结构，将不同数据类型存储在连续的线性物理空间；包括...
- 沈昌祥李晨李瑞华张兴庄琭公备
- 基于交互式马尔可夫链的可信动态度量研究被引量：9
- 2011年
- 可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
- 庄琭蔡勉蔡勉
- 关键词：可信计算
- 一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法
- 为了解决现有缓冲区溢出检测方法的不足,本文提出了一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法。首先,利用图灵机分析了产生溢出的根源,即状态空间结构简化;并通过两个具体的攻击案例揭示了现有检测机制的不足。其次,为弥补状态...
- 李晨李瑞华张兴庄琭
- 关键词：缓冲区溢出时序逻辑
- 文献传递
- 移动存储介质端到端加密系统设计与实现被引量：6
- 2013年
- 为构建安全可信的移动存储介质端到端数据传输过程,提出了一个移动存储介质上文件级别的细粒度加密传输系统,保证加密文件只能被指定用户或用户组解密。系统以公钥基础设施(PKI)为框架,采用数字证书和数字信封技术对存入介质的文件进行加密处理,使用文件过滤驱动提供内核级系统保护,防止系统被旁路。开发了软件原型系统,结合硬件USB-KEY,验证了该设计可以全面保证细粒度的文件传输过程的机密性、安全性。
- 宁静赵勇庄琭李瑜
- 关键词：移动存储介质公钥基础设施端到端加密数字信封身份认证
- 基于无线网络税控器的税控系统
- 一种基于无线网络税控器的税控系统，该系统由配有无线网卡的数个商用收款机、具有无线接入点功能的网络税控器以及税控服务器组成；所述网络税控器获取所述商用收款机的销售数据并进行处理，形成税控数据，并将所述税控数据通过所述局域网...
- 庄琭侯石柱周雅稚谢俊贾毫杰郝文英陈凯于书举许向众彭建朝杜永萍张建标侍伟敏
- 文献传递
- 基于可信计算平台的可信性动态度量研究
- 为了解决PC机自身结构缺陷，改变传统安全技术(如防火墙、杀毒软件和入侵检测系统等)在应对如今与日俱增的信息安全问题情形下的被动局面，从芯片、硬件结构和操作系统等方面综合采取措施的可信计算技术应运而生。作为可信计算的核心技...
- 庄琭
- 关键词：信息安全系统架构
