对校园网安全技术的探讨

从校园网对教育的重要性及Internet的不再免费使用两个角度探讨了校园网的安全性，包括：Internet为什么不安全、安全防卫措施、网络安全工具。     

论安全科学技术学科体系的结构和内涵

安全科学技术学科作为《学科分类与代码》的一个一级学科，有明确的研究对象——事故，其研究目的是事故预防和控制事故损失。该学科以事故的发生发展规律为基础科学，它与不同的研究手段和工具交叉形成了该学科的应用科学体系。根据研究范围的不同，安全学科在不同的领域又形成了一个分支学科体系，但研究方法和工具仍然是相同的。就作者的鉴别能力和学科发展现状来说，安全科学技术学科的结构由至少6个基础概念、3条公理组成，学科的科学结构基本完整。     

手工搬运的安全要求

手工搬运是比较繁重的体力劳动，如何互相配合不好、工具使用不当，极容易造成工作事故。 常用的手工搬运及其安全要求一般是这样的：     

浅谈新建煤矿井下通风与信息管理系统

通风安全管理信息系统是由计算机和人组成的，可以进行通风安全管理信息的收集．储存、加工、分析，传递和利用的系统。主要是以计算机和现代通讯技术为基本的信息传输工具和处理手段，秉着秉统科学的观点和现代安全管理的理论为管理决策上提供更好的额信息服务的信息系统。     

Kerberos协议的改进

以ＲＳＡ算法作为加密和签名工具，对Ｋｅｒｂｅｒｏｓ协议中票证和验证码的形式以及验证协议进行了改进，使整个验证过程更安全，可靠，在此基础上，通过在网络防火墙中增加网络验证服务器，实现了跨网络的远程安全访问方案。     

勿当安全帽为遮阳帽

安全帽合格与否直接关系到工人的生命安全，安全帽作为头部的护卫工具，工人在平时工作中应当佩戴合格的安全帽，并且将它们时刻带在自己的脑袋上，本篇文章主要是讨论目前安全帽存在的不安全生产隐患，工人对安全帽的不正确认识以及佩戴安全帽的重要意义展开简要阐述。     

Security Process Algebra-Based Information Flow Analysis and Verification of Security Model

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。     

基于安全进程代数的信息流安全模型的分析与验证

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。     

开放式工业过程自动化系统

工业生产过程自动化系统经过长期不断的发展，特别是在充分利用计算机技术的基础上取得了很大的进步，在生产过程中已发挥其重要作用，成为生产过程安全、稳定、自动化运行不可缺少的工具。     

浅析高速公路机电系统设备维护

高速公路机电系统是高速公路实现正常运营管理的主要工具，如何保障机电系统设备良好运转，以实现高效，安全、畅通的路域环境，从而提升运营管理和服务水平，是当前高速公路运营的重点工作之一。     

关于网络防火墙技术的安全性分析

随着网络的普及，网络成为我们不可缺少的工具和手段；然而，网络并不安全，防火墙不能彻底阻止入侵，对常见的攻击进行分析后提出防范方法，最后提出集成式网络安全解决方案．     

多级安全数据库管理系统查询处理器的设计

多级安全数据库与传统的数据库最大的不同就在于它引入了安全级的概念，访问数据库的主体和数据库中的客体都被赋予了安全级，主体对客体的访问遵循强制存取控制规则．多级安全查询处理器是多级安全数据库的核心部分，它提供对安全级查询的支持．多级安全查询处理器必须保证用户的查询不违反数据库系统安全性的要求．分析了多级安全查询处理的执行过程，定义了多级安全查询语言的语法，利用编译器生成工具Yacc设计了一个多级安全查询处理器，并对其进行了分析．     

永磁可调冲床安全工具

永磁可调冲床安全工具是冲压工人一种手动辅助工具。该安全工具含有一个手柄和一根与手柄相连的连接杆。在连接杆的一端,设置有一个由稀土元素制成的磁钢体组成的、且其磁场强度可调的工件吸取装置和工件卸料机构。该安全工具结构简单、使用轻便、安全、自如,能有效地防止冲床工作过程中冲压事故的发生。     

浅谈对4S店在用计量仪器进行计量检定的必要性

随着我国经济建设的快速发展，汽车已经逐步走进家庭成为人们生活中不可或缺的代步工具，提高了人们的办事效率和生活质量。同时太多行驶的汽车也是影响道路交通安全的重要因素，这也给作为汽车售后服务的4s店提出了越来越高的要求，指出维修质量的优劣直接影响汽车行车质量的安全。     

防止SQL注入攻击策略与实现

防止SQL注入攻击是维护Web安全的一个重要课题．避免程序设计漏洞和缺陷、构建安全的数据库访问代码、合理配置管理权限是防止SQL注入攻击的重要策略．ASP．Net和SQL Server提供的防止策略和工具，可以很好地解决防止SQL注入攻击问题，为Web安全构建一道重要屏障．     

矿井通风安全状况的计算机评价系统

在评价矿井通风质量时会涉及到许多非确定性因素，以模糊数学为基础，以计算机为工具，利用通风工区和安监处的相关报表的原始记录作为基础数据，开发设计了矿井通风安全的计算机评价系统，根据贵州某矿1994--1997年的实际情况，利用本评价系统计算了通风状况和安全状况。通过实际运行，本系统可迅速准确，客观科学地评价矿井的通风质量和安全管理水平。     

深入Java~(TM)2安全模型体系结构

Java2平台作为当今软件开发的主流工具,不仅具有良好的面向对象特性和平台可移植性,还具有一个非常重要的特性:安全性。它不仅为用户和开发人员提供了一个安全平台而且还提供了丰富的安全API和安全工具。本文着重介绍Java2平台的安全体系结构部分,在揭示Java2平台安全原理的同时,介绍了如何利用Java2平台的安全机制来保证系统的安全性。     

数字

4亿元 为提升基层安全监管部门执法装备水平，强化安全监管执法能力，推动工作条件标准化建设，近日，国家发改委下达项目文件，计划预算内投资4亿元，用于完善县级安监部门办公业务用房，更新补充其交通执法工具和各类监管专业装备。     

上海联通推“通付宝”缴费工具

上海联通在个人金融支付领域推出绿色环保手机缴费工具“通付宝”。据悉，此举是上海联通为了配合《上海市推进智慧城市建设2011—2013行动计划》中“社会事业与公共服务”重点项目的电子账单服务平台建设，基于慧付卡产品基础上开发的多账单查询、缴费的工具，提供用户账单定时推送和安全缴费的功能。申请开通“通付宝”时，只需先换领上海联通定制的慧付卡放入手机，     

入侵监测—陷阱技术分析及实现

安全问题是信息行业所面临的一个严峻的问题，文中分析了一种主动的安全策略－陷阱技术，陷阱技术对于了解入侵者的动机，工具，策略等有重要的实践价值，阐述了陷阱技术在信息系统安全中的伤脑筋主实现的主要技术，给出了一个典型陷阱系统实现的例子，并依据例子从数据捕获，数据分析等各方面进行了分析，陷阱技术在构成一个完善的整体的安全解决方案中是必不可缺的部分。