Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

622Mbps ATM网络线路加密机设计构想

介绍了一种可以加密ATM网络的声音、数据、图像信息,其上限速率为622Mbps的ATM网络线路加密机设计构想,设计构想考虑了密钥管理功能的实现。     

网络化时代包装企业的网络安全

分析了当前包装企业加强网络安全工作的必要性，并给出了相应的网络安全策略。     

PKI技术的发展综述

随着网络技术的发展，网络安全越来越受到大家的关注，公开密钥基础设施（PKI）技术是目前唯一能够全面解决网络安全问题的可行方案。各国政府，如美国、加拿大等先后提出了自己的PKI体系结构及其工作原理。介绍了国内外PKI技术的发展情况。     

正确把握电信发展规律

二十世纪末，全球网络经济过热和电信业陷入之际，正是中国电信业深化体制改革、破除垄断、全面引入竞争之时。面对复杂的国际国内形势，中国电信业在一系列关系发展全局的重大问题上，坚持理性与务实，保持了行业积极稳健的发展。我国电信业目前正处于新的发展时期，面对新的机遇和挑战，在总结国内外实践的基础上，要进一步加深对电信发展基本问题的认识，要正确处理好一系列带有全球性、战略性、方向性的重大关系问题。     

基于数字签名方案的口令鉴别方案

本文在广义ＥｌＧａｍａｌ型签名方案上建立了许多口令鉴别方案，并且提出了文［１］的三个改进方案。利用这些方案，计算机系统不仅能监测和控制口令的使用，而且可以抗击许多对口令的伪造攻击。     

Hydro-economic Modeling in River Basin Management: Implications and Applications for the European Water Framework Directive

Economic ideas and processes are becoming increasingly integrated with more traditional engineering and hydrologic models of water management problems. Combining economic management concepts and performance indicators with an engineering-level of understanding of a hydrologic system can provide results and insights more directly relevant for water management decisions and policies. When such models are developed and used with involvement of stakeholders, they can become a basis for shared understanding of water problems as a foundation for negotiated management and policy solutions. When implemented with optimization software, integrated hydro-economic models also can suggest promising innovative solutions for policy-makers to consider. Their applications to river basin management problems are reviewed. Economic and integrated economic-engineering-hydrologic modeling is then discussed in the context of the evolving European Water Framework Directive. Relevant items are cost recovery and water pricing, cost-effectiveness of water management measures, and public participation in decision processes.     

Energy conservation in the industrial sector of developing countries

This paper begins by examining the most energy-intensive industries and methods by which fuel efficiency can be improved. Next the author analyses the economics of energy conservation using specific case studies drawn from India. It is shown that investing in energy efficiency is more economical Btu per Btu than investing in the enhancement of domestic energy resources. The author also assesses changes in the economics of conservation for private firms when there are government incentives. Finally government policies that can overcome economic and non-economic disincentives for investing in energy conservation are examined.     

信息高速公路上的安全问题

首先介绍了信息高速公路的概貌,并指出了信息高速公路将面临的威胁和攻击,接着说明了信息高速公路应当具备的基本安全特性以及实现这些特性可以采取的措施,最后介绍了信息高速公路安全技术的开发动态。     

IC卡在电信领域的应用模式

本文列举了ＩＣ卡在电信领域及一些国家和地区的应用之后，给出了国际ＩＣ卡的应用发展模式，以供有关部门参考。