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

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

关于三网合一技术

介绍了我国现阶段并存的三网(电信网、有线电视网和计算机互联网)的特点与现状，分析了三网在融合过程中需要解决的一些不可避免的问题，以及三网合一的技术基础和促进三网合一的有利因素，提出了三网合一是现代通信和计算机网络发展的必然趋势，以及在三网融合的过程中还将有一个相互渗透交叉、相互竞争、共存发展过程的观点。     

MPEG-1的索引系统设计与实现

文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。     

绑起手来最自由

8月8日中新网发布消息说,中国银监会主席刘明康已致信巴塞尔银行监管委员会主席卡如纳先生,表示至少在“十国集团”2006年实施新巴塞尔协议的几年后,中国才考虑实施新协议,目前仍将继续执行1988年的老协议。     

基于DDE的FIX与VB数据通讯的实现

介绍了Windows环境下DDE（动态数据交换）技术原理，以及组态软件FIX与开发工具VB对DDE技术的支持，通过实例说明了FIX应用与VB应用程序之间利用DDE进行数据通信实现方法。     

浅析网络电视IPTV

本文介绍了IPTV的基本概念、特点、用途,简单阐述了IPRV在国内和国际的发展状况以及它给现代人生活带来的变化.     

市政府与武汉大学签署全面科技合作协议

本报讯本月27日，广东省、教育部和科技部联合在广州白云国际会议中心召开“广东省教育部科技部产学研结合工作会议”。广东省教育部科技部产学研结合项目签约仪式也于昨天卜午在该中心举行：为期3天的“广东省产学研科技创新成果展览会”随后开幕。我市有5项成果参加展出，另有5个项目参加签约。市委书记黄志光、副市长苏耀光，市政协副主席、     

浅谈路由器qos技术

本文主要探讨路由器qos技术在下一代英特网中的应用,分别介绍集成服务(IntSer),区分服务(Dif-ser),以及其它一些探索性的路由器qos技术。     

WTO《政府采购协议》及其对我国的影响

我国政府采购市场面临着对外开放的必然要求。作为WTO的成员国，无论从理论还是发展趋势看，都应当按照WTO《政府采购协议》建立系统的政府采购制度，以适应国际大市场和国内财政资金管理的要求。