移动通信系统中有效的身份认证方案和支付协议

文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议，该协议可以实现通信双方的相互认证，产生的会话密钥对通信双方是公正的，且会话密钥的产生不需要其他第三方的参与，协议的结构简单，执行效率高：在此协议基础上设计了一个适用于移动通信系统的小额支付协议。     

基于Kerberos的Internet密钥协商协议的研究

KINK是一个的基于Kerberos的密钥协商协议，它使用Kerberos机制实现密钥协商过程中的身份认证和密钥交换。本文主要描述了KINK中的密钥协商的实现过程，并对它的特点和安全性作了相应的分析。     

对国际岩石力学委员会J_V公式的质疑

通过对国际岩石力学委员会JV 公式的论证 ,指出了该公式不符合数理逻辑。结合工程勘察实践 ,拟建了Ky新公式 ,提高了工程岩体完整程度评价方法的科学性。     

Object-oriented DBMS requirements

The requirements on an object-oriented DBMS for management of information in a large, complex enterprise are presented. These requirements aid in the achievement of an environment characterized by data sharing, open architectures, application and data portability, and assurance of data integrity. They were defined from the point of view of a user of the DBMS; therefore they describe the expected functionality of the DBMS and do not specify the method of implementation to achieve this functionality. They encompass requirements on the data model, query and data manipulation languages, the system architecure, interfaces to the system, change management, and transaction management.     

Pheromone Disruption of Argentine Ant Trail Integrity

Disruption of Argentine ant trail following and reduced ability to forage (measured by bait location success) was achieved after presentation of an oversupply of trail pheromone, (Z)-9-hexadecenal. Experiments tested single pheromone point sources and dispersion of a formulation in small field plots. Ant walking behavior was recorded and digitized by using video tracking, before and after presentation of trail pheromone. Ants showed changes in three parameters within seconds of treatment: (1) Ants on trails normally showed a unimodal frequency distribution of walking track angles, but this pattern disappeared after presentation of the trail pheromone; (2) ants showed initial high trail integrity on a range of untreated substrates from painted walls to wooden or concrete floors, but this was significantly reduced following presentation of a point source of pheromone; (3) the number of ants in the pheromone-treated area increased over time, as recruitment apparently exceeded departures. To test trail disruption in small outdoor plots, the trail pheromone was formulated with carnuba wax-coated quartz laboratory sand (1 g quartz sand/0.2 g wax/1 mg pheromone). The pheromone formulation, with a half-life of 30 h, was applied by rotary spreader at four rates (0, 2.5, 7.5, and 25 mg pheromone/m²) to 1- and 4-m² plots in Volcanoes National Park, Hawaii. Ant counts at bait cards in treated plots were significantly reduced compared to controls on the day of treatment, and there was a significant reduction in ant foraging for 2 days. These results show that trail pheromone disruption of Argentine ants is possible, but a much more durable formulation is needed before nest-level impacts can be expected. Electronic supplementary material  The online version of this article (doi:) contains supplementary material, which is available to authorized users.     

信息化对制造业的影响综述

信息技术是一种新型技术。信息技术和制造业相互依存、相互促进是一种发展趋势。信息技术对制造业的影响主要有:信息化在制造业的产品开发设计技术方面带来的进步,这主要包括计算机辅助技术;信息化在制造业的生产管理技术方面带来的进步,主要包括企业制造资源计划系统及产品数据管理;信息化在制造业的制造方式上带来的进步,主要包括柔性制造、计算机集成制造等先进制造技术。     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

Advances in cryptography and information security—introduction of 2002–2006 progress of SKLOIS

This paper introduces the research progress of the State Key Laboratory of Information Security (SKLOIS) in China during 2002–2006. This introduction covers four selected areas with each covering some selected research findings. The four selected areas are: the fundamentals of cryptography; the design, analysis and testing of block cipher algorithms; the design and analysis of security protocols based on computational intractability; authentication, authorization and their applications.     

Influences of land use/cover on water quality in the upper and middle reaches of River Njoro, Kenya

Data from 10 sampling sites along the River Njoro are used to examine the contribution of nutrients from upstream land uses draining each of the sampling sites. The data also are used to assess whether both the proportion of land uses and the size of the subwatersheds account for the variability in water quality in the River Njoro watershed. Geographical Information System analysis was used to determine the spatial distribution of land‐cover types and subwatersheds contributing run‐off to the sampling sites in the River Njoro. Standard Digital Elevation Model‐based routines were used to establish the watershed area contributing run‐off to each sampling site. Water and sediment samples were collected for chemical analysis, and the nutrient levels were related to the upstream land‐use types and the size of the subwatersheds. The mid‐stream portion of the River Njoro (near Egerton University) accounts for the highest nutrient contributions. The percentage contribution is magnified by additions from industrial, human settlements and agricultural land uses around the University. There is a significant decrease in nutrient levels downstream, however, indicating natural purification as the river flows through an area of large‐scale farming with intense, well‐preserved riparian and in‐stream vegetation. Steep slopes of the land upstream of Egerton University enhance erosion and nutrient losses from those subwatersheds. Mixed small‐scale agricultural and bare lands contribute over 55% of the phosphorus load to the upper and mid‐reaches of the River Njoro. The size of the subwatershed accounts for about 53% of the variability in the soluble phosphorus in the river. The land‐use subwatershed proportions are important for characterizing and modelling water quality in the River Njoro watershed. Upland land uses are as important as near‐stream land uses. We suggest that conservation of intact riparian corridor along the river and its tributaries contributes significantly to natural purification processes and recovery of the ecological integrity of the River Njoro ecosystem.     

管道完整性管理标准及其支持体系

通过对美国管道完整性管理标准ASME B31.8S和API 1160内容的论述，总结了管道完整性管理标准的3个特点：①管道完整性管理标准是一种过程标准；②管道完整性管理标准提供了一种管道运行管理的模式和理念，反映了当前管道安全管理从单一安全目标发展到优化、增效、提高综合经济效益的多目标趋向；③完整性管理是以管道安全为目标的系统管理体系,管道完整性管理标准是一种体系规范。从管道完整性管理系统的角度，列举了美国管道完整性管理的主要支持性标准、规范和法律文件。最后对国内管道完整性管理研究提出了建议。