公平交换协议的信道可信度形式化验证方法

公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.

深圳关内外交通拥堵探究与治理

以深圳市交通数据为基础,对交通拥堵情况进行了探究。首先,利用模糊综合评价模型定义拥堵指数,计算得出深圳市各关口的拥堵指数;然后,提出了潮汐车道和强制分流等交通管制措施,较好地解决了关口地区的交通拥堵问题;最后,使用最大流和堵塞流的相关理论,对关内外的道路进行合理扩容。