基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于有载调压配变的移动巡查平台研究

在电力应用中,电压的稳定性是影响用电安全的重要因素.为了提高电压的合格率,电力公司在安装了20多台在线滤油有载调压配变基础上,进一步扩大安装规模.同时,在实践中我们发现有载调压配变的定期巡检工作难度较大,为了进一步确保设备使用的安全性和可靠性,对不同分布区域的调压配变进行巡查,有必要加强有载调压配变巡查系统的研发.论文首先介绍研发的背景,概括研发目标和进程,然后进一步对项目的具体开展、创新点进行细化分析,最后对研发成效和工作中的不足进行探讨,力求通过创新项目研发改善我们的有载调压配变工作效率.     

存储发展技术综述

本文根据存储介质产生的先后顺序,并结合实例介绍了各个阶段存储介质形式的发展,概括了当前存储技术的发展状况及方向,并重点介绍了网络存储及其相关的技术。     

贯彻落实科技创新战略,促进农业经济快速持续发展

实施创新驱动发展战略是确保经济有持久发展的重要措施,科技创新能力在当今经济的发展中发挥着主导作用。因此,要把实施科技创新工程作为落实创新驱动战略的主要工作,集中力量,开展重大技术创新,将科技创新与产业升级紧密结合起来,加快构建高新技术产业,促进结构优化和经济转型。本文将对贯彻落实科技创新战略,促进经济快速持续发展做一探索。     

基于企业文化的战略人力资源管理探讨

随着经济全球化以及改革开放的不断深入,市场竞争的日趋激烈,我国企业在管理方面面临着诸多的挑战和困难。本文从对企业文化的解析入手,分析了企业文化视角下战略人力资源管理体系中招聘、绩效管理、薪酬三方面的特点及加强措施,旨在使人力资源管理的作用得到最大程度的发挥,进而提高企业市场竞争力,促进企业发展目标的实现。     

工程材料的质量监理

工程材料的质量好坏，直接影响着整个建筑物的质量等级、结构安全、外部造型和建成后的使用功能等。因此，工程材料的质量监理无论在建筑、安装还是交通行业，均是项目监理工作中一个至关重要的内容。本文结合自己的监理实践，谈谈工程材料的监理与质量控制。     

山东移动、联通斗争升级

备受各界关注的山东联通员工被山东移动员工殴打至伤系列事件终于取得了初步的进展。9月3日,山东省胶州市人民法院下达刑事判决书,认定山东移动公司员工     

战略管理创造企业名牌的擎天之柱

随着科学技术与社会经济的飞速发展,成功企业的管理已进入以战略管理为中心的时代.当今市场需求和科技进步日新月异,企业所面临的环境比以往任何时候都复杂多变.竞争在空间上已超越了国家、地区的界限而延伸至世界上每个角落;在时间上分秒必争、机会稍纵即逝;而在深度上则超越了单纯的产品功能、质量、价格范畴,延伸至设计、包装、品牌、服务、销售渠道、广告、营销推广、公共关系、人力资源等全方位.因此,企业不仅要对企业外部宏观、微观环境的瞬息变化作出快速反应,而且必须审时度势,高瞻远瞩,把握大局,力求使企业内部条件与外部环境的动态平衡,以期取得长期生存与发展.