为π演算建立具有安全级别的简单类型系统

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.     

发达国家与发展中国家的知识产权争端以及中国的应对措施

自世界贸易组织1995年成立以来,知识产权这一利益纷呈的领域自然成了各成员之间纠纷与争端的多发地带。中国加入了WTO以后,也面临着诸多的与此涉及的问题,解决不好,经济损失将是巨大的。于是,仔细研究世贸组织的有关知识产权协议并积极制定我国的应对措施,也成为了当前的热点问题,也是当务之急。     

企业战略合作协议档案管理探究

战略合作协议是平等法律主体之间签订的重要意向性、框架性协议。虽战略合作协议不属于法律规定的典型合同范畴,但与典型合同相比,其对企业经营发展蕴含着更大的价值。但企业档案管理中往往存在对战略合作协议档案的管理意识不足,未将其作为专门档案进行管理,以及侧重分散管理等问题。鉴于此,本文提出应将战略合作协议档案作为专门类别的档案进行管理,优先选择集中管理模式,并重视对战略合作协议签署过程中可能产生的声像档案同步收集归档。     

从微软的"打击"看Linux的"成功"

自从2006年11月微软与Novell签署战略合作协议之后,开源界与微软的关系又发生了变化。从上世纪90年代初微软对Linux的忽视,到之后的SCO诉讼事件对Linux强烈打击,到现在的“合作”。正如圣雄甘地说的”最初他们忽视你．然后嘲笑你,最后打击你．那么你就成功了”。从微软对Linux的”打击”,     

开放存取知识库版权政策概述

机构知识库是目前开放存取电子资源保存和发布的重要形式之一,各类学术和研究型图书馆设立的作者自行存档的开放文库是这类知识库的主体.本文从版权角度,简要介绍作者、机构库和科研资助机构三类主体,在开放文档提交保存和发布问题上的不同立场和政策,并就有关版权协议内容作了分析.表2.     

资本运作离报业有多远

7月17日,《华尔街日报》网站发布报告称,新闻集团已道琼斯达成初步收购协议,预示着这场持续2个多月的收购与反收购之争即将尘埃落定.     

基于802.1x认证的校园网安全管理应用

802.1x认证技术是一种基于端口的网络访问控制技术。由于它的简单、安全和使用方便,正受到越来越多的重视,目前在很多学校得到实际应用。本文围绕802.1x的认证原理及其技术优势并结合校园网络管理的特点进行了介绍,以便读者对802.1x认证技术有一个很好的了解。     

降低入侵检测系统中漏报和误报率的技术

在一般的IDS中存在着很高的漏报和误报率.从一般入侵检测的原理出发,分析了产生漏报和误报的主要原因,并提出了相应改进方法.     

我与学生签协议

早上刚刚进入学校,政教处的孙主任就叫住了我,他神色凝重.我有种预感:出事了!果然,他压低了声音:"你了解你班的小迎吗?""不是很了解,怎么了?"我慌忙问."昨天晚上,我抓到一批学生在厕所里偷偷吸烟,其中就有他.""啊!"我不由地叫了一声.我刚接手这个班还不到一周,就有这样的事情发生.况且自我当班主任以来,也从没遇到过这种事情."你找他了解一下情况."我忙点了点头,身上的血不由从脚底窜向大脑,只觉得头要涨开了.     

省教育厅与安庆市政府签订教育发展合作框架协议

本刊讯在全省上下深入贯彻落实国家和省教育规划纲要,大力推进教育改革发展之际,10月15日,省教育厅与安庆市人民政府签订促进安庆市教育发展合作框架协议。省委教育工委书记、省教育厅厅长程艺,安庆市市长肖超英共同签署了合作框架