运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

The Double‐Edged Sword: The Effects of Journalists' Social Media Activities on Audience Perceptions of Journalists and Their News Products

As social media become popular news platforms, journalists and news organizations have been keen to capitalize on their potential to build and maintain audiences. However, little is known about the extent to which these efforts may have adverse implications. Based on normative theories, the present study investigates the influence of journalists' social media activities (specifically, self‐disclosure and interaction with other users) on audience perceptions of journalists. An experiment (N = 267) revealed that: Although both journalists' self‐disclosure and interaction positively influenced audience perceptions of the journalists in the personal dimension, interaction negatively influenced audience perceptions in the professional dimension; and the perceptions transferred to perceptions of news products, thereby mediating the relationship between journalists' social media activities and audience news perceptions.     

关于Hamilton原理

Hamilton发展了Lagrange分析力学,他对分析力学的主要贡献是一个原理—Hamilton原理和一个方程-Hamilton方程.本文给出Hamilton原理的经过史,包括Hamilton原著的表述,以及后人对这个原理的理解和发展.     

纳污河补排关系变化时污染物迁移规律研究

多环芳烃是危害较大的一种水体污染物,以菲为特征污染物,利用纳污河流和地下水系统模拟装置,对其在河流与地下水补排关系变化时的迁移过程进行了研究,以探索纳污河流与地下水间多环芳烃的迁移变化规律。采用Sufer软件分析了菲在地层中的迁移变化情况,并计算了其迁移速度,结果表明:模拟纳污河水补给地下水时,菲迁移速度缓慢,污染物扩散范围小,水平迁移速度为1.33 cm/d;模拟清洁地下水向河流排泄时,菲的水平迁移速度为1.67 cm/d,并在河流附近发生了短暂富集。     

基于水资源核算的太湖流域水环境退化成本分析

为合理制定流域水价,加强流域水资源统一管理,提高水资源节约利用水平,促进水资源可持续利用,对水环境与经济社会产生的关系进行综合考量;在核算太湖流域2010年水资源的基础上,分别利用基于防护费用的评估方法和基于损害的水环境退化估价方法,计算分析2010年太湖流域水环境退化成本。结果表明:对污染物进行源头治理不仅是出于对环境保护的考虑,更是尽可能地降低水环境退化成本、避免经济损失的最佳选择。水环境退化分析为合理制定水价及水资源统一管理提供了重要参考。