检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

不同密级系统间基于BLP的访问控制机制

上海交通大学学报 2012年第9期46卷 1387-1391页

作者：刘苏娜潘理姚立红上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240 信息网络安全公安部重点实验室上海201204

将传统的BLP(Bell-La Padula)模型扩展,提出了一种适用于网络访问控制的N-BLP模型,通过定义网络元素和构造新的状态转换规则,实现了主体间通信行为的控制,并采用有限状态机理论验证了N-BLP模型的安全性,同时,基于LSM(Linux Security Mod... 详细信息

将传统的BLP(Bell-La Padula)模型扩展,提出了一种适用于网络访问控制的N-BLP模型,通过定义网络元素和构造新的状态转换规则,实现了主体间通信行为的控制,并采用有限状态机理论验证了N-BLP模型的安全性,同时,基于LSM(Linux Security Modules)架构和TCP/IP协议构造了一个符合N-BLP模型的网络访问控制系统原型.结果表明,该系统能够精确控制连接的建立和数据流的传输,保障了不同密级网络系统之间信息交换的安全性.

关键词：网络访问控制 BLP模型引用监视器

在线全文

学校读者我要写书评

暂无评论

基于系统调用特征的入侵检测研究

电子学报 2003年第8期31卷 1134-1137页

作者：姚立红訾小超黄皓茅兵谢立南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

对网络服务程序进行攻击是非法用户入侵系统的主要途径 ,针对关键程序的入侵检测近年来受到重视 .该文提出的CTBIDS检测模型在利用系统调用特征树描述程序行为特征的基础上 ,通过异常有限积累判别程序入侵 ,既能体现异常状况的长期积累 ... 详细信息

对网络服务程序进行攻击是非法用户入侵系统的主要途径 ,针对关键程序的入侵检测近年来受到重视 .该文提出的CTBIDS检测模型在利用系统调用特征树描述程序行为特征的基础上 ,通过异常有限积累判别程序入侵 ,既能体现异常状况的长期积累 ,也能很好地反映入侵的异常局部性原理 .此外 ,该文通过统计分析方法确定入侵判别参数 ,使得入侵判别更加准确 .

关键词：信息安全入侵检测系统调用序列

在线全文

学校读者我要写书评

暂无评论

基于混合观测器的非线性系统的脉冲控制

电子与信息学报 2011年第8期33卷 1902-1907页

作者：姚立红李俊民西安电子科技大学理学院西安710071

该文针对基于有限状态自动机的非线性脉冲混合动态系统,设计一种新的脉冲混合观测器,然后应用有限状态自动机理论和Backstepping方法设计了基于混合观测器的脉冲输出反馈控制器,并构造了多Lyapunov函数,通过混合系统的渐近稳定性理论以... 详细信息

该文针对基于有限状态自动机的非线性脉冲混合动态系统,设计一种新的脉冲混合观测器,然后应用有限状态自动机理论和Backstepping方法设计了基于混合观测器的脉冲输出反馈控制器,并构造了多Lyapunov函数,通过混合系统的渐近稳定性理论以及多Lyapunov函数法给出整个闭环系统渐近稳定的充分条件,数值仿真验证了该控制器的有效性。

关键词：有限状态自动机脉冲控制 Backstepping方法多Lyapunov函数

在线全文

学校读者我要写书评

暂无评论

一种基于有限状态机的隐含信息流分析方法

计算机学报 2006年第8期29卷 1460-1467页

作者：訾小超姚立红李斓上海交通大学信息安全工程学院上海200240

安全系统中的隐含信息流对系统保密特性构成了严重威胁,对安全系统进行相应的信息流分析是发现隐含信息流的最有效方法.以往的信息流分析主要基于事件轨迹模型进行,不易在系统安全实践中得到利用.该文把安全系统及安全策略模型化为有限... 详细信息

安全系统中的隐含信息流对系统保密特性构成了严重威胁,对安全系统进行相应的信息流分析是发现隐含信息流的最有效方法.以往的信息流分析主要基于事件轨迹模型进行,不易在系统安全实践中得到利用.该文把安全系统及安全策略模型化为有限自动机,通过研究有限自动机的特性来分析安全系统的信息流特性,进而确定出系统中是否存在隐含信息流.自动机模型比轨迹模型更为直观和自然地表述系统安全策略,在实际系统中能更好地得到应用.

关键词：安全操作系统隐含信息流隐蔽信道有限自动机保密性

在线全文

学校读者我要写书评

暂无评论

一类非线性混合系统的脉冲混合控制器设计

系统工程与电子技术 2010年第8期32卷 1732-1736页

作者：姚立红李俊民西安电子科技大学理学院陕西西安710071

考虑了一类基于有限状态自动机的非线性混合动态系统,该混合系统由离散事件子系统和连续变量子系统构成。其离散事件子系统为有限状态自动机,连续变量子系统由几个具有脉冲的严格反馈非线性系统组成。结合有限状态自动机的相关理论、Bac... 详细信息

考虑了一类基于有限状态自动机的非线性混合动态系统,该混合系统由离散事件子系统和连续变量子系统构成。其离散事件子系统为有限状态自动机,连续变量子系统由几个具有脉冲的严格反馈非线性系统组成。结合有限状态自动机的相关理论、Backstepping方法以及脉冲控制设计了一种脉冲混合控制器,给出了整个系统在该控制器作用下渐近稳定的充分条件,构造混合多Lyapunov函数,并应用该函数和线性矩阵不等式(linear matrix inequality,LMI)技术证明了闭环系统渐近稳定性。最后,通过仿真实例验证了该方法的有效性。

关键词：有限状态自动机脉冲控制 Backstepping方法多Lyapunov函数

在线全文

学校读者我要写书评

暂无评论

IPSEC与防火墙协同工作设计与实现

小型微型计算机系统 2004年第2期25卷 183-186页

作者：姚立红谢立南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

IPSEC提供网络层的安全服务 ,通过对 IP报文的加密和验证 ,保证数据在传输过程中的安全 .由于 IPSEC封装了报文中一些重要信息 ,使得 IPSEC与防火墙不能同时有效地工作 .本文提出一种分层 IPSEC(L ayered IP Security,L_ IPSEC)思想 ,... 详细信息

IPSEC提供网络层的安全服务 ,通过对 IP报文的加密和验证 ,保证数据在传输过程中的安全 .由于 IPSEC封装了报文中一些重要信息 ,使得 IPSEC与防火墙不能同时有效地工作 .本文提出一种分层 IPSEC(L ayered IP Security,L_ IPSEC)思想 ,即将协议头和数据部分分别进行安全处理 ,并将这种分层思想与分布式处理技术结合 ,设计与实现一种 IPSEC与防火墙协同工作方案 .

关键词： IPSEC L_IPSEC 防火墙协同

在线全文

学校读者我要写书评

暂无评论

隐蔽通道的信息传递模型

电子学报 2008年第11期36卷 2216-2219页

作者：姚立红訾小超李建华上海交通大学信息安全工程学院上海200240 南京大学计算机软件新技术国家重点实验室江苏南京210093

隐蔽通道的存在给信息系统的保密性造成了严重威胁,其信息传递机理研究是实施隐蔽通道检测与控制的前提和基础.本文首先将安全系统解释成带有信号调制能力的通信信道,将信息传递过程类比成常规通信过程,研究了相应的通信要素(编码器、... 详细信息

隐蔽通道的存在给信息系统的保密性造成了严重威胁,其信息传递机理研究是实施隐蔽通道检测与控制的前提和基础.本文首先将安全系统解释成带有信号调制能力的通信信道,将信息传递过程类比成常规通信过程,研究了相应的通信要素(编码器、调制器、载波介质及解码器等)及其所对应的实体;基于这些通信要素和对应实体,提出了隐蔽通道的信息传递模型;在该模型和系统形式化描述的基础上,研究机密信息泄露的过程,并讨论了隐蔽通道的信道带宽计算方法.

关键词：安全操作系统隐蔽通道有限自动机

在线全文

学校读者我要写书评

暂无评论

基于TSVM的网络入侵检测研究

计算机工程 2006年第18期32卷 138-140页

作者：徐文龙姚立红潘理倪佑生上海交通大学信息安全工程学院上海200240

直推式支持向量机(TSVM)是一种直接从已知样本出发对特定的未知样本进行识别和分类的技术。该文提出了基于TSVM的网络入侵检测系统模型,并用实验给出了它在网络入侵检测中的性能表现,分析了它与基于传统归纳式支持向量机(ISVM)的入侵检... 详细信息

直推式支持向量机(TSVM)是一种直接从已知样本出发对特定的未知样本进行识别和分类的技术。该文提出了基于TSVM的网络入侵检测系统模型,并用实验给出了它在网络入侵检测中的性能表现,分析了它与基于传统归纳式支持向量机(ISVM)的入侵检测系统的性能对比。实验结果表明,将TSVM应用到入侵检测是切实可行的。

关键词：入侵检测统计学习直推式支持向量机

在线全文

学校读者我要写书评

暂无评论

α-呋喃丙烯酸酯类香料的合成及性能研究

精细化工 1998年第3期15卷 14-17页

作者：姚立红苏长安齐立权陈新铁梅夏阳辽宁大学化学系

通过糠醛与乙酐的Ｐｅｒｋｉｎ反应（１５０℃，７ｈ），以５８７％的收率合成了α-呋喃丙烯酸，再经酯化反应合成六个α-呋喃丙烯酸烷基酯。该系列酯的香气特征为焦糖样甜香并兼有轻微水果香气，其紫外吸收特性是：λｍａｘ（ＭｅＯ... 详细信息

通过糠醛与乙酐的Ｐｅｒｋｉｎ反应（１５０℃，７ｈ），以５８７％的收率合成了α-呋喃丙烯酸，再经酯化反应合成六个α-呋喃丙烯酸烷基酯。该系列酯的香气特征为焦糖样甜香并兼有轻微水果香气，其紫外吸收特性是：λｍａｘ（ＭｅＯＨ）：３０４ｎｍ；摩尔消光系数ε≥２１×１０４Ｌ／ｍｏｌ·ｃｍ；Ｓａｎｄｅｌ灵敏度Ｓ≥７．８×１０－３μｇ／ｃｍ２；可有效吸收ＵＶＢ区域（２８０～３２０ｎｍ）的紫外光。

关键词：呋喃丙烯酸酯香料香气杂环类性能合成香料