无干扰性相关论文
随着Internet的不断发展，人们越来越多地从网上下载并使用程序，程序信息流安全问题越来越重要。程序信息流安全问题是指程序能否保护......
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的......
随着国家、社会对计算机和网络技术的依赖程度日益增长,信息安全问题越来越重要。访问控制、加密技术等标准的安全机制是保护信息......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯......
信息流安全的形式化以无干扰性为标准属性．针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示，提出了一种基于语义......
随着计算机和因特网的应用迅速普及与发展,信息安全已日益成为人们关注的焦点。本论文以国家信息系统等级保护标准为主要依据,基于......
