基于安全内核的信息安全工具包体系结构设计

信息安全工具包用于开发信息安全应用产品.传统工具包的主要目标是通用性,其内部安全强度不高.文中描述了一个基于安全内核的、具有高安全性的信息安全包体系架构的设计.安全内核为工具包内的信息访问提供安全保障.在安全内核中实现了多种安全策略(BLP,CW,ACL),通过这些安全策略的结合使用,保护内部信息的机密性和完整性,并执行用户的验证.工具包使用对象模型和层次模型,能够方便用户使用,同时利于对工具包进行维护.     

基于安全内核的信息安全工具包体系结构设计

信息安全工具包用于开发信息安全应用产品。传统工具包的主要目标是通用性,内部安全强度不高,文中描述了一个基于安全内核的、具有高安全性的信息安全包体系架构的设计。     

基于安全内核的信息安全工具包体系结构设计

信息安全工具包用于开发信息安全应用产品。传统工具包的主要目标是通用性,其内部安全强度不高。文中描述了一个基于安全内核的、具有高安全性的信息安全包体系架构的设计。安全内核为工具包内的信息访问提供安全保障。在安全内核中实现了多种安全策略(BLP,CW,ACL),通过这些安全策略的结合使用,保护内部信息的机密性和完整性,并执行用户的验证。工具包使用对象模型和层次模型,能够方便用户使用,同时利于对工具包进行维护。     

安全工具包的设计及安全性分析

信息安全工具包是用于开发信息安全应用产品的工具.目前我国使用的工具包都是国外产品,安全可靠度不高,很难保证使用它们开发的安全产品的安全性.对一个国产信息安全工具包（CIST）的结构设计进行了研究.在CIST中,内部信息安全性是其主要需求.CIST有一个安全内核,该内核使用了多种安全策略.CIST的安全性进行评估表明它能够适用于安全强度要求高的场合.     

应用Globus Toolkit实现网格服务

Globus对信息安全、资源管理、信息服务、数据管理以及应用开发环境等网格计算的关键理论和技术进行了广泛的研究,开发出能在多种平台上运行的网格计算工具包Globus Toolkit.此工具包能够用来帮助规划和组建大型的网格实验和应用平台,开发适合大型网格系统运行的应用程序.本文分析网格计算软件Globus Toolkit 3（GT3）的体系结构以及安装方法,然后以一个简单的网格计算为例在基于网格计算软件GT3的网格平台上实现网格服务.     

联想软件推出安全工具包

5月31日获悉:联想软件推出了一款安全工具包软件,为电脑用户提供一整套的数据,信息安全解决方案。联想安全工具包中的软件包括联想自主研发的拯救者V1.0系统安全恢复软件,KILL98认证版(杀毒工具),网盾3.1加密工具和附赠的多种系统安全工具软件,具有系统     

面向对象的信息安全引擎工具包

综合介绍了国际上目前的密码学ＡＰＩ发展的现状，分析了它们的优缺点，并利用面向对象技术实现了一个接口简单，符合密码概念的信息安全引擎工具包。     

一种基于对象线索化RBAC的设计与实现

安全内核中通常是使用一个模块实现所有的安全策略,对应用程序的独立性不强,不利于安全策略的改变。信息安全工具包的安全内核采用了线索化的正交软件体系结构,对每个子系统使用对象技术实现,也对象化了访问安全工具包内部信息的应用程序,使安全内核独立于外部应用程序。安全内核内部对象也相互独立,便于功能扩展和维护。安全内核实施了RBAC作为对象的安全访问控制机制,保证了对象化应用程序的安全性,也保证了工具包内部信息的安全性。     

一种基于对象线索化RBAC的设计与实现

安全内核中通常是使用一个模块实现所有的安全策略，对应用程序的独立性不强，不利于安全策略的改变。信息安全工具包的安全内核采用了线索化的正交软件体系结构，对每个子系统使用对象技术实现，也对象化了访问安全工具包内部信息的应用程序，使安全内核独立于外部应用程序。安全内核内部对象也相互独立，便于功能扩展和维护。安全内核实施了麟作为对象的安全访问控制机制，保证了对象化应用程序的安全性，也保证了工具包内部信息的安全性。     

基于MATLAB的最优阵列处理工具包

实现了基于MATLAB的最优阵列处理工具包。该工具包包含了基本的波束形成及优化波束形成方法,如传统的加权求和波束形成方法及Dolph-Chebychev加权方法。同时,还在该工具包中添加了本文实现的几种波束优化方法。为了更加直观方便的了解各种波束优化方法的特性,在本文的工具包中提供了可供用户自行选择参数的演示系统。     

基于面向对象技术的安全工具包的设计

本文通过对当前广泛应用的一些安全工具包的研究和分析,在常见的一些软件体系结构模型的基础上,提出了一个基于面向对象的安全工具包的体系结构模型。该模型在安全性、灵活性上有较大的提高。     

The Kerf toolkit for intrusion analysis

Network-based intrusions have become a significant security concern. To aid system administrators with post-attack intrusion analysis, the Kerf toolkit provides an integrated front end and powerful correlation and data-representation tools, all in one package.     

SSL及使用OpenSSL实现证书的签发和管理

WWW服务器与浏览器之间的安全通信是WEB安全数据交换的基础。SSL是基于WEB应用的安全协议,具有很强的实际安全性,它为TCP/IP连接提供数据加密、服务器认证、消息完整性以及可选的客户机认证。OpenSSL是开源软件,提供了一个通用的高强度加密库,并在此基础上实现了SSL2.0,SSL3.0,TLS1.0,分析了SSL协议规则,并简要介绍了OpenSSL软件包,同时就如何使用OpenSSL软件包实现证书的签发和管理进行了详细的探讨。实践证明,利用OpenSSL提供的库文件能很方便地对证书进行签发和管理,构建安全WEB服务器。     

威胁移动IPv6安全性能的深入研究

移动IPv6(MIPv6)是IPv6互联网的网络层移动协议。这种协议包含了一些安全机制,比如转交地址(CoA)的迂回路由测试(RRT)。这篇论文描述了一些对迂回路由的攻击措施,并设计针对这些攻击的能动的保护措施。虽然现已有的很多成熟的移动网络协议,但是一些细节的推理仍然没有得到验证。     

威胁移动IPv6安全性能的深入研究

移动IPv6（MIPv6）是IPv6互联网的网络层移动协议。这种协议包含了一些安全机制,比如转交地址（CoA）的迁回路由测试（RRT）。这篇论文描述了一些对迂回路由的攻击措施,并设计针对这些攻击的能动的保护措施。虽然现已有的很多成熟的移动网络协议．但是一些细节的推理仍然没有得到验证。     

Privacy‐aware shared UI toolkit for nomadic environments

As computing becomes more nomadic, privacy becomes a greater concern. People use portable devices to annex displays in their environments so that they can share information with other people. However, private information such as usernames, e‐mail addresses, and folder names are shown on foreign displays. In addition, foreign keyboards can be used to enter in passwords generating a significant privacy and security risk. Because nomadic users' sensitive data is constantly at risk for exploitation via the UI toolkit, a solution for protecting user privacy must include that toolkit. This paper introduces the XICE framework—a windowing toolkit that provides easy display annexing and includes a robust privacy framework to help protect users and their data. This paper discusses the exploits that annexing external devices introduces and how XICE mitigates or eliminates those threats safely and naturally for both users and developers. Copyright © 2011 John Wiley & Sons, Ltd.     

Formal verification of secure group communication protocols modelled in UML

The paper discusses an experience in using Unified Modelling Language and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws. The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate temporal parameters.