Meet-Cloud for Secure and Accurate Distribution of Negative Messages in Vehicular Ad hoc Network

Keeping Vehicular Ad hoc Network(VANET) from attacks requires secure and efficient distribution of information about bad entities. Negative messages are pieces of information that define the negative attributes of vehicles. By formally defining the negative message, we observe that accuracy is essential for its efficient distribution. We formally define the coverage percentage and accurate coverage percentage to describe the availability and distribution efficiency of negative message. These two metrics can jointly evaluate the performance of a distribution method. To obtain both high coverage percentage and high accurate coverage percentage, we propose meet-cloud, a scheme based on meet-table and cloud computing to securely and accurately distribute negative messages in VANET. A meet-table in a Road Side Unit(RSU) records the vehicles it encounters. All meettables are sent to cloud service to aggregate a global meet-table. The algorithm for distributing and redistributing negative messages are designed. Security analysis shows that meet-cloud is secure against fake and holding on to negative message attacks. Simulations and analysis demonstrate that meet-cloud is secure under denial of service and fake meet-table attacks. The simulation results also justify that meet-cloud outperforms the RSU broadcast and epidemic model.     

云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

介绍一个与材料相关的研究型综合化学实验——壳聚糖的制备与表征

在中国科学技术大学夏季学期的研究型实验课程"化学科研基础训练"中开设"壳聚糖的制备与表征"综合实验,以龙虾壳为原料,通过除蛋白、脱盐、脱色、脱乙酰等一系列反应,制备得到目标产物壳聚糖。运用红外光谱、核磁共振仪、黏度法、滴定等对产品的结构及性能进行表征。     

Single Crystal to Single Crystal (SC‐to‐SC) Transformation from a Nonporous to Porous Metal–Organic Framework and Its Application Potential in Gas Adsorption and Suzuki Coupling Reaction through Postmodification

A new amino‐functionalized strontium–carboxylate‐based metal–organic framework (MOF) has been synthesized that undergoes single crystal to single crystal (SC‐to‐SC) transformation upon desolvation. Both structures have been characterized by single‐crystal X‐ray analysis. The desolvated structure shows an interesting 3D porous structure with pendent ?NH₂ groups inside the pore wall, whereas the solvated compound possesses a nonporous structure with DMF molecules on the metal centers. The amino group was postmodified through Schiff base condensation by pyridine‐2‐carboxaldehyde and palladium was anchored on that site. The modified framework has been utilized for the Suzuki cross‐coupling reaction. The compound shows high activity towards the C?C cross‐coupling reaction with good yields and turnover frequencies. Gas adsorption studies showed that the desolvated compound had permanent porosity and was microporous in nature with a BET surface area of 2052 m² g^?1. The material also possesses good CO₂ (8 wt %) and H₂ (1.87 wt %) adsorption capabilities.