Locally random reductions: Improvements and applications

A (t, n)-locally random reduction maps a problem instancex into a set of problem instancesy ₁,...,y _n in such a way that it is easy to construct the answer tox from the answers toy ₁,...,y _n, and yet the distribution ont-element subsets ofy ₁,...,y _n depends only on |x|. In this paper we formalize such reductions and give improved methods for achieving them. Then we give a cryptographic application, showing a new way to prove in perfect zero knowledge that committed bitsx ₁,...,x _m satisfy some predicateQ. Unlike previous techniques for such perfect zero-knowledge proofs, ours uses an amount of communication that is bounded by a fixed polynomial inm, regardless of the computational complexity ofQ. These results were presented in preliminary form at the 10th Annual Crypto Conference, Santa Barbara, CA, August 1990. The work of D. Beaver was done at Harvard University, supported in part by NSF Grant CCR-870-4513. The work of J. Kilian was done at MIT and Harvard University, supported by an NSF postdoctoral fellowship.     

基于泛搜索路由协议的AdHoc网络设计与实现

在AdHoc网络技术的工程实现中,路由协议的选择以及硬件无线通信系统设计是要解决的两个关键环节。本文针对节点之间无等级结构的AdHoc网络,基于一种泛搜索路由协议进行AdHoc网络系统设计和实现。硬件通信设备采用单片机C8051F920控制无线数传模块的方案进行设计,按照搜索路由协议对单片机编写程序,继而组建AdHoc网络系统。通过对网络测试所得的数据结果进行分析,表明该路由协议能适应网路拓扑结构变化,准确地找到一条适合传输的路由,所设计通信系统满足AdHoc网络的基本特征。     

Distributed Reservation Protocol and QoS Method in WR-OBS System

1IntroductionOptical Burst Switching (OBS)[1 ~4]provides a feasi-ble paradigm for Internet Protocol (IP) over Wave-length-Division Multiplexing ( WDM) integration[5 ~10],which has been the focus of intense investigation owingtoits flexibilityin utilizingthe terahertz bandwidth of asingle fiber andits capabilitytosupport transparent datatransmissions. However , with the emergence of allkinds of applications such as data ,voice ,the next-gen-eration network must also be designedto provide …     

基于ATL的公平电子商务协议形式化分析

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击：保密信息泄露和重放攻击。     

主动攻击下数字签名的计算可靠性

研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立数字签名的计算可靠性,即如数字签名方案满足N-UNF,则符号模型所得到的结果在计算模型中也是正确的。基于该结论,可以构建具有计算可靠性的形式化分析系统。     

WDM网中的分组传输控制协议

详尽地分析了几种常用于WDM网的数据分组传输控制协议，然后，介绍了一种通过划分用户能量高低来消除分组冲突的协议──俘获ALOHA控制协议，并在此协议基础上，提出了一种假想ALOHA协议，为提高WDM网的吞吐量及降低信息传播时延提供了新的思路。     

无线传感器网络路由的安全性问题分析

网络层路由遭受的攻击可归为:哄骗、篡改或重放路由信息、选择性转发、Sinkhole攻击、Sybil攻击、Wormholes攻击、Flooding攻击、应答欺骗.从效果上看,一种是直接对数据进行攻击,另一种是对路由拓扑结构的攻击.针对各种攻击,提出了外/内部攻击的对策.     

The impact of MAC parameters on the performance of 802.15.4 PAN

The operation of a personal area network, operating under the IEEE Standard 802.15.4 in the beacon enabled mode, is analyzed using the theory of discrete time Markov chains and M/G/1/K queues. The model includes the impact of different parameters such as packet arrival rate, number of stations, station’s buffer size, packet size, and inactive period between the beacons. We have derived several important performance parameters such as probability of access, probability that medium is idle, queue length distribution in the device, and probability distribution of the packet service time. Some important conclusions regarding the implementation of 802.15.4 networks and compatible network devices are outlined.     

A survey of cross‐layer protocols for IEEE 802.11 wireless multi‐hop mesh networks

There has been an escalation in deployment and research of wireless mesh networks by both the business community and academia in the last few years. Their attractive characteristics include low deployment cost, a low‐cost option to extend network coverage and ease of maintenance due to their self‐healing properties. Multiple routes exist between the sender and receiver nodes because of the mesh layout that ensures network connectivity even when node or link failures occur. Recent advances among others include routing metrics, optimum routing, security, scheduling, cross‐layer designs and physical layer techniques. However, there are still challenges in wireless mesh networks as discussed in this paper that need to be addressed. Cross‐layer design allows information from adjacent and non‐adjacent layers to be used at a particular layer for performance improvement. This paper presents a survey of cross‐layer protocol design approaches applied to the IEEE 802.11 standards for wireless multi‐hop mesh networks that have been proposed over the last few years for improved performance. We summarize the current research efforts in cross‐layer protocol design using the IEEE 802.11 standard in identifying unsolved issues that are a promising avenue to further research. Copyright © 2016 John Wiley & Sons, Ltd.     

计算机局域网（上）

本文简要地讨论了计算机局网的基本技术、协议和标准，并对几个典型的局域网便子作了概要的介绍。