基于直方图平移的加密域可逆水印算法

为了能保证载体所有者隐私的安全性和原始载体图像的完整性,提出了一种在加密域中进行直方图平移的可逆水印算法.该算法首先对原始载体图像和数字水印进行加密,然后利用直方图平移的方法进行加密水印的嵌入和提取,保证在数字水印的嵌入和提取过程中不会影响到原始载体图像,并具有隐私保护的功能.实验结果表明,该算法能够在加密域中直接进行加密数字水印的嵌入和提取,提高了直接解密图像的峰值信噪比,确保了可逆隐藏的安全性.     

一种理性安全协议形式化分析方法及应用

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.     

基于Ensemble的医疗应用集成系统设计与实现

通过分析现阶段医院信息化建设中所存在的问题,利用Ensemble作为一个跨网络、跨协议、支持应用集成和数据集成的平台软件,提出了实施集成的模型,实施于四川华西医院,北京地坛等大型医院。最后总结Ensemble在医疗系统的现实意义及其优势所在。