訾小超
- 作品数：40 被引量：158H指数：7
- 供职机构：上海交通大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金上海市科委科技攻关项目更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 一种基于二进制序列集合的访问控制策略合成方法
- 本发明公开一种基于二进制序列集合的访问控制策略合成方法，首先定义二进制序列集合元素以及基于二进制序列的集合运算规则,根据以上定义，从属性约束层对实际的策略进行属性分解，并通过集合内部元素分离将策略正确的表达成为基于二进制...
- 潘理刘晨燕訾小超
- 文献传递
- 基于流的IPSec VPN协议深度检测方法
- 一种基于流的IPSec VPN协议深度检测方法，用于网络安全领域。本发明首先在智能代理或探针机器上打开网卡的混杂模式进行循环监听，并且设置BPF过滤器抓取IPSec VPN报文。对IPSec报文序列流存储并进行深度检测，...
- 周志洪蒋兴浩李建华訾小超张月国
- 文献传递
- 针对权限滥用的安全增强研究被引量：3
- 2003年
- 要限制权限滥用 ,操作系统必须清楚哪些是应用程序正常所需权限 .本文分析了应用程序所需权限的决定因素 ,提出以应用程序相关的用户知识信息为基础 ,结合系统结构、程序实现和系统安全等方面的专业知识推导程序所需权限的权限控制方案 .该方案特点在于兼顾到控制准确性和易用性 ,测试和试用表明其实用性较好 .
- 姚立红訾小超茅兵谢立
- 关键词：信息安全
- 隐蔽通道的信息传递模型被引量：4
- 2008年
- 隐蔽通道的存在给信息系统的保密性造成了严重威胁,其信息传递机理研究是实施隐蔽通道检测与控制的前提和基础.本文首先将安全系统解释成带有信号调制能力的通信信道,将信息传递过程类比成常规通信过程,研究了相应的通信要素(编码器、调制器、载波介质及解码器等)及其所对应的实体;基于这些通信要素和对应实体,提出了隐蔽通道的信息传递模型;在该模型和系统形式化描述的基础上,研究机密信息泄露的过程,并讨论了隐蔽通道的信道带宽计算方法.
- 姚立红訾小超李建华
- 关键词：安全操作系统有限自动机
- 基于二进制序列集合的策略合成代数框架被引量：3
- 2013年
- 从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树(MTBDD)的逻辑建模机制中存在的编码次序敏感以及规则冗余问题,提出了基于二进制序列的移位合并算法.最后推导基于二进制序列的合成语义算子,建立该代数框架.通过时间复杂性分析和仿真实验,验证了该框架的有效性,其合成性能优于基于MTBDD策略树的合成机制.
- 刘晨燕潘理訾小超
- 关键词：访问控制
- 电子信息类专业的“操作系统”教学内容设计
- 2011年
- 根据电子信息类专业的特点,课程组以理论为基础,应用和开发并重,改革了操作系统的教学内容与实验内容,将操作系统原理与应用开发、系统和网络管理相结合,出版了具有电子信息类专业特色的教材,教学与实验内容具有计算机通信、嵌入式系统和操作系统安全的特色。
- 陆松年潘理訾小超
- 关键词：操作系统电子信息类专业教学改革
- 基于映射非传递性的多域间RBAC策略冲突解决方法
- 本发明提供了一种基于映射非传递性的多域间RBAC策略冲突解决方法，其输入为已建立了域间角色映射的N个域策略，以及域间互访矩阵IDAM，基本思想是根据域间互访矩阵确定所有存在映射关系的两个域，分别对单独的两个域进行冲突化解...
- 潘理周鑫訾小超
- 文献传递
- 信息安全设计型实验的教学研究被引量：1
- 2013年
- 本文结合笔者近年来的实际教学活动,深入探讨信息安全设计型实验的教学工作。本文首先介绍目前正在开展的信息安全设计型实验教学的基本现状,包括实验项目的设计、实验项目的组织管理、实验项目的过程管理等;我们还结合具体的教学工作,深入分析了教学工作中发现的具体问题,并探讨相应的应对策略。
- 姚立红訾小超薛质李建华
- 关键词：信息安全教学方法实验教学
- 基于Linux操作系统的审计增强
- 2005年
- 论述了基于Linux基础平台开发高可靠性安全操作系统中审计系统的设计思想与实现。在此审计系统中,通过审计系统调用实现了细粒度的系统级审计数据的收集,并且基于B/S架构,实现了具有自动分析功能的图形化安全远程审计管理平台。
- 刘嘉訾小超潘理李建华
- 关键词：审计分析
- 基于适应性随机延迟的TCP/IP网络隐蔽时间信道干扰方法
- 本发明涉及的是一种网络安全技术领域的基于适应性随机延迟的TCP/IP网络隐蔽时间信道干扰方法。本发明将网络数据包存储在干扰网关缓冲区内，对队列内的数据包依次转发，对于每一个处于队列首位的数据包加以随机延迟，该随机延迟的最...
- 潘理黄霄鹏訾小超姚立红
- 文献传递
