娱乐＋新媒体 不是交易是婚姻

无论是国外的传统媒体集团向新媒体（互联网和／或无线公司）扩张，还是中国的SP转型收购音乐公司，总之娱乐公司和新媒体走到一起已经是大势所趋。然而故事并没有结束，以资本为纽带的并购并不能当然的把这两种风格迥异的基因捏在一起，在新公司里争执、误解乃至冲突不断，这就像一场婚姻，如果双方不能够深刻的理解对方，最后只能以分手收场。[编者按]     

多服务组的流媒体安全通信机制

提出了一种基于多服务组的流媒体安全通信机制.现有的方案一般是针对用户只参加一个多播组的通信,很少涉及到一个用户同时参加多个多播组的通信,而且没有提供有效的发送方身份验证机制.本文提出了一种具有发送方身份验证功能的一个用户同时可以参加多个组通信的方案,大大地降低了用户和服务器的存储开销,与传统的密钥树方案相比,用户的存储开销降低为原来的l/lgn(n为组中的用户数目),有良好的可扩展性.另外,本机制实现了可靠的发送方身份验证功能.     

一个完善的秘密分享方案

可验证秘密分享在实用密码学领域内是一个非常重要的工具,它在密钥管理协议、门限或分布式签名协议、电子商务、多方安全计算及团体式密码系统等许多方面都有极为广泛的应用。针对一类突发事务须及时、安全解决的特点, 利用离散对数问题的难解性,在假设初始化阶段和秘密恢复阶段始终有一位值得信赖的分发者参与的情况下,提出了一个可公开验证的门限秘密分享方案。     

“维拉”反隐形战机雷达

捷克总理五月二十日证实，美国对捷克向中国出售反隐形战机雷达表示关注，终于使这笔六千万美元的交易告吹。美国决定向捷克购买这种雷达及相关技术，以作为补偿，防止该种称为“维拉”的雷达落入中国人民解放军手中。     

圭谷十日行（二）

Verisity Design是一家专注于设计验证的EDA软件公司，提供解决客户验证电子系统和复杂集成电路的软件以及IP，在功能验证领域的市场份额达65％以上，所有知名设计公司都将Verisity的验证方法和系统SpecMan作为标准验证平台。Verisity还与ARM、Cadence、Synopsys、Mentor Graphic等IP提供商和EDA软件厂商保持紧密合作，共同     

分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

绝缘涂敷制件的加工工艺研究与应用

主要论述了电工绝缘粉末的性能及其在高压电器设备应用中的有关试验项目。