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).     

齐次~Morrey-Herz 空间上分数次积分算子高阶交换子的有界性

在齐次Morrey-Herz空间上建立了高阶交换子~$T^{m}_{b,l}$ 和 ~$M^{m}_{b,l}$的有界性，其中~$T^{m}_{b,l}$ 和 ~$M^{m}_{b,l}$ 是由分数次积分算子和分数次极大算子分别与~BMO($R^{n}$)函数生成的高阶交换子.     

Interactions of Eu3+ and Am3+ with humic acid extracted from soil of Yongkwang in the Okchon Basin of the Korean Peninsula

Summary The stability constants of Eu³⁺ and Am³⁺ with the site specific humic acid (YKHA) have been determined. The humic acid has been extracted from the soil of Yongkwang area belonging geologically to the Okchon Basin of the Korean Peninsula, where the nuclear power plant is located. The total carboxylate capacity, the acidity constant (pKa), and the binding constants with Eu³⁺ and Am³⁺ have been determined for humic acid.     

用地面阵列寻找TeV能区γ点源的方法探讨

文中探讨搜寻TeV能区γ点源的方法.讨论利用student变量t判断来自源区及背景区宇宙线事例的统计差别,并由Bayes定理与MonteCarlo模拟相结合计算源区各能段的信号数,推算蟹状星云在TeV能区的γ射线微分能谱     

KxCoO2·yH2O(x《0.2,y≤0.8)的晶体结构、输运及磁学性质

利用熔融KOH和Co3O4在较低温度(480℃)下反应制备出K0.36CoO2,然后用高锰酸钾溶液和饱和的过硫酸钾溶液进行氧化处理.氧化的同时伴随有水分子嵌入.K0.36CoO2用高锰酸钾和过硫酸钾溶液处理后分别得到K0.12CoO2·0.8H2O和K0.16CO2·0.6H2O.这两种化合物都属于六角晶系,表现出金属行为,脱水后主相变为正交结构并且呈现出半导体特性.K0.16CoO2·0.6H2O在56K附近可能存在自旋玻璃转变行为或其他涨落.随着钾含量的减少和水含量的增多,样品的自旋玻璃行为受到抑制或发生磁性相分离.样品K0.12CoO2·0.8H2O在零场冷却和有场冷却曲线上的分叉现象基本上消失.还讨论了产生KxCoO2与NaxCoO2体系结构和物性差别的原因.     

KF-Al2O3催化合成2-甲基-1-苄基苯并咪唑

苯并咪唑类杂环化合物具有杀菌、消炎、抗癌、抗氧化的活性,广泛用于食品的防虫和防腐,用于动、植物病毒的防治,人体疾病和肿瘤的防治[1-3],本文用KF Al2O3作催化剂,用DMF为溶剂,利用2 甲基苯并咪唑与苄基溴反应合成2 甲基 1 苄基苯并咪唑的新型方法,考察了诸因素对产率的影响,找出了最佳的反应条件。合成路线如下:1　实验部分1 1　仪器与试剂Brurer AM 500超导核磁共振波谱仪(溶剂CDCl3);CarloErbal1106型元素分析仪,NicoletIm pact410型红外光谱仪,KBr压片,HP1100型和Finnigan FTMS 2000型质谱仪(以上均由华东理工大学分析…     

Existence of two‐dimensional Skyrmions via the concentration‐compactness method

In this paper, we prove the existence of a unit‐charge energy minimizer in the two‐dimensional Skyrme model by the method of concentration‐compactness. © 2004 Wiley Periodicals, Inc.     

A Mossbauer study of the magnetic coupling in iron phosphorous trisulfides

The polycrystalline sample of layered compound FePS_3 has been investigated by using M?ssbauer spectroscopy (12K to 300K), magnetic susceptibility measurements, x-ray diffraction and FTIR spectroscopy. The antiferromagnetic order exists below T_N=120.5±1K. The M?ssbauer spectra below T_N indicate that the magnetization axis is perpendicular to the layer of FePS_3, and the divalent iron cations are in their high spin configurations. By fitting the hyperfine field parameters near the Néel temperature, we obtain information on the nature of magnetic interactions in the material. The results show that the magnetic coupling can be treated by the two-dimensional Ising model, and it can be interpreted on the basis of a crystal-field effect.     

用光学差分吸收光谱监测大气中污染气体浓度

在实验室内模拟测量了实际大气中污染气体的差分吸收光谱 (DOAS) .本文在介绍差分吸收光谱技术同时 ,分析计算了污染气体的浓度 .实验设计中被测气体为大气中的 2种主要污染气体 :工业锅炉的主要排放物SO2 和机动车尾气的主要成分NO .用氘灯作为光源测量其在紫外波段的特征吸收 ,并通过光纤束连接光栅光谱仪 ,由计算机自动采集和处理数据 .     

35Cr25Ni12奥氏体耐热钢中碳化物的电子显微分析

应用扫描电镜（SEM）和透射电镜（TEM）研究了长期使用前后的35Cr25Ni12奥氏体耐热钢中的碳化物演变行为；该钢固溶时效后的组织由初晶奥氏体及M23C6共晶碳化物组成，奥氏体基体中析出了二次M23C6，二次碳化物总是与基体保持立方－立方取向关系；长期使用（3、5年）后，奥氏体中析出的二次碳化物量明显增加，部分M23C6已转变为M6C，M6C与奥氏体基体以及二次碳化物M23C6保持[001]M6C//[221]A//[221]M23C6孪晶取向关系。