信息流安全相关论文
随着信息技术的飞速发展,信息安全显得越来越重要,然而传统的基于类型的安全方法无法实现信息流的安全检测。基于类型的方法是逐个......
随着Internet的不断发展，人们越来越多地从网上下载并使用程序，程序信息流安全问题越来越重要。程序信息流安全问题是指程序能否保护......
为保证计算机系统中的信息机密性,自主访问控制和强制访问控制策略在计算机多级安全系统中得到了广泛的应用。然而,实施了这两种策......
0引言当今社会已经步入信息知识经济时代,信息安全是目前发展的大趋势,趋势重点是BYOD条件下,移动4G、WIFI互联等多边界企业网络环......
在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态......
文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性......
针对程序语言信息流安全领域的现有机密消去策略，提出了一种基于下推系统可达性分析的程序信息流安全验证机制．将存储．匹配操作内嵌于......
目前机载嵌入式系统平台呈现开放式的特点,通过支持TCP/IP协议和多种网络服务来方便部署各种应用,使得功能多样化的需求得以满足。......
多级安全系统中机密数据的泄漏本质上是信息的非法流动．广义不可推断属性刻画了不同安全级主体之间合法的信息流动．在系统应用之前，验......
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的......
以进程代数作为分析信息流安全属性的工具，将安全进程代数（SPA）扩展到概率系统，形成概率安全进程代数．使用概率安全进程代数对概率系统......
为了实现概率信息的安全降密和信道控制等重要安全策略，将可信域的概念引人概率安全进程代数，并以此为工具将非传递无干扰信息流安全......
在分析程序具体语义的基础上，提出一种信息保密性检测方法。构造具体语义和抽象语义的对应关系，根据待测程序性质构建抽象语义，同时在......
随着国家、社会对计算机和网络技术的依赖程度日益增长,信息安全问题越来越重要。访问控制、加密技术等标准的安全机制是保护信息......
云计算通过网络提供各种服务,这种开放式的模式在方便用户访问和使用的同时,也带来了潜在的安全隐患,导致来自云计算内部或者外部......
本文首先解释了隐蔽通道的概念,介绍了隐蔽通道的分类。然后花主要精力,结合实例概述了当代国际上已经使用过的隐蔽通道的方法。并......
提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算......
随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多。访问控制、入侵检测、加密等传统的安全机......
