Verifiable Distributed Oblivious Transfer and Mobile Agent Security

The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect the agent’s privacy and the hosts’ privacy. In this paper, we introduce a new cryptographic primitive called Verifiable Distributed Oblivious Transfer (VDOT), which allows us to replace a single trusted party with a group of threshold trusted servers. The design of VDOT uses a novel technique called consistency verification of encrypted secret shares. VDOT protects the privacy of both the sender and the receiver against malicious attacks of the servers. We also show the design of a system to apply VDOT to protect the privacy of mobile agents. Our design partitions an agent into the general portion and the security-sensitive portion. We also implement the key components of our system. As far as we know, this is the first effort to implement a system that protects the privacy of mobile agents. Our preliminary evaluation shows that protecting mobile agents not only is possible, but also can be implemented efficiently. This work was supported in part by the DoD University Research Initiative (URI) program administered by the Office of Naval Research under grant N00014-01-1-0795. Sheng Zhong was supported by ONR grant N00014-01-1-0795 and NSF grants ANI-0207399 and CCR-TC-0208972. Yang Richard Yang was supported in part by NSF grant ANI-0207399. A preliminary version of this paper was presented at the DialM-POMC Joint Workshop on Foundations of Mobile Computing in 2003. Sheng Zhong received his Ph.D. in computer science from Yale University in the year of 2004. He holds an assistant professor position at SUNY Buffalo and is currently on leave for postdoctoral research at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS). His research interests, on the practical side, are security and incentives in data mining, databases, and wireless networks. On the theoretical side, he is interested in cryptography and game theory. Yang Richard Yang is an Assistant Professor of Computer Science at Yale University. His research interests include computer networks, mobile computing, wireless networking, sensor networks, and network security. He leads the LAboratory of Networked Systems (LANS) at Yale. His recent awards include a Schlumberger Fellowship and a CAREER Award from the National Science Foundation. He received his B.E. degree from Tsinghua University (1993), and his M.S. and Ph.D. degrees from the University of Texas at Austin (1998 and 2001).     

建筑意--中国雕版印刷博物馆及扬州博物馆设计

本文以中国雕版印刷博物馆及扬州博物馆设计为例，从空间意象、理水设计、造形元素等方面对特定历史条件、自然条件下的建筑创作进行了探讨。     

重庆嘉华大坪隧道变断面衬砌台车设计

本文介绍变断面衬砌台车设计,用以解决重庆嘉华大坪隧道变断面大跨度衬砌施工。     

基于MapInfo的西气东输管线地理信息系统的研究

讨论了西气东输管线空间数据库的建立过程，并以该空间数据库为后台利用MapInfo公司的GIS组件MapX进行二次开发，实现了全数字化的输气管道信息的存储与查询，使输气管线信息化管理更加现代化。     

4招PK产后抑郁

最近一段时间，身边不少女性朋友纷纷升级做了母亲。本以为家庭幸福、事业顺利的她们在喜得贵子之后会更加快乐，可恰恰相反，在最初的喜悦过后，她们似乎变得比以前更加敏感和焦躁不安，甚至有些人的婚姻关系也变得异常紧张。究竟是什么原因使这些新妈妈不快乐呢？为此，笔者带着疑问走访了北京回龙观医院康复科崔勇主任。[编者按]     

基于PLC的工程轮胎胎面缠绕机控制系统

叙述了工程轮胎胎面缠绕成型的基本原理 ,介绍了自行设计开发的基于PLC的工程轮胎胎面缠绕机控制系统 ,并对如何利用胎面胶条的厚度控制胎面外廓作了阐述     

1270轧机弹性曲线的回归及参数估计

首先介绍了轧机弹性曲线的基础知识及 1 2 70轧机AGC系统的基本结构 ,然后论述了数据采集的方法 ,最后根据最小二乘法得到轧机弹性曲线的回归模型及刚度系数的实验结果。     

轻质喷涂料的研制

研究了轻质骨料种类，加入量和添加剂等对轻质喷涂料技术及使用性能的影响。并将研制的轻质喷涂料成功地应用于武钢炼铁厂高炉管内壁的喷涂。     

仿西班牙横移车断齿事故分析及改进

某炼钢厂仿西班牙产品制造的板坯横移车运行机构采用分别驱动、变频调速、无人操纵自动控制技术。其减速器齿轮多次发生点蚀、塑性变形、断齿等事故或故障 ,严重时曾出现轮齿全部被剃光的现象。经分析 ,其根本原因是承载能力不足。通过重新选型设计 ,加大减速器中心距 ,彻底根除了断齿等事故隐患