【摘 要】
：
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验证方以及服务器进行形式化建模,并使用NuSMV工具对SAV协议模型检测,目的是验证该协议的签名方案有效性、防欺骗性和不可否认性。实验结果表明该协议存在服
论文部分内容阅读
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验证方以及服务器进行形式化建模,并使用NuSMV工具对SAV协议模型检测,目的是验证该协议的签名方案有效性、防欺骗性和不可否认性。实验结果表明该协议存在服务器和签名方联合欺骗和否认的缺陷,最终分析其原因和提出针对性的改进方案。
其他文献
针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问效率较低的问题,提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分布式B树。实验结果表明,它有效提高了云计算环境中海量、分布式的数据访问和索引效率。
综合考虑到视频序列本身的不同特性以及时空相关性,将传统视频编码中的多假设预测运动估计思想引入到分布式压缩感知视频编码系统中,提出一种新的基于时空相关性的分布式压缩感知多假设预测重构算法。在编码端增加CS帧的块模式判别,在解码端CS帧根据模式判别进行相应的基于块的多假设预测估计和残差稀疏重构。仿真实验表明,与传统的分布式压缩感知多假设预测重构算法相比,所提出的算法能够较好地改善视频序列的重建质量。
针对传统基于Haar-like特征的on-line boosting跟踪算法(HBT)需要产生大规模随机特征、占用大量计算资源和存储空间的缺点,提出结合方向纹理熵的Haar-like特征在线boosting跟踪算法(HBTT)。HBTT算法利用灰度共生矩阵的熵获得目标纹理的方向信息,在此基础上有针对性地产生具有方向纹理信息的Haar-like特征,从而可有效避免无效随机特征的产生,减小特征池容量;
针对高速水面艇视觉系统在采集视频过程中,由于高速运行、水流运动和风力影响等因素造成的视频图像抖动问题,根据高速水面艇视频图像运动特点,例如同时含有平移、旋转和变焦运动等,采用尺度不变特征变换算法提取视频图像中的特征点,利用仿射模型求解运动参数,运用Kalman滤波对视频图像中的正常扫描进行滤波,最后用相邻帧补偿法对每帧图像进行补偿,实现高速水面艇的视频图像稳像处理。算法用于高速水面遥控艇采集到的视
传统双模式算法中的切换时机一般采用经验确定,在迭代达到一定次数或者均方误差(MSE)降低到某一范围时硬性将算法进行切换。针对这种情况,提出了一种基于聚类技术的软判决双模式均衡算法,在不影响算法的收敛速度和精度前提下,让算法间自动进行切换,更具有实际意义和价值。该算法首先通过分析初始均衡算法输出的星座图信息,再使用减法聚类获得粗略的星座图轮廓,最后采用模糊C-均值(FCM)聚类进行二次处理,以获得精
针对用户使用网站效率低和网站质量差的问题,提出了利用形式概念分析(FCA)来构建网页语义概念树的方法。该方法首先利用信息抽取、自然语言处理等技术对网页集进行文本抽取、分词,提取出描述文本语义的特征词;再以主题词表为参照,设计基于搜索引擎的词语相似度算法,将抽取的特征词全部转换成主题词表中主题词,对将抽取的语义信息转换成形式背景,利用规则、聚类等技术对形式背景进行约简。最后通过设计的建格算法构建概念
隐蔽信道既是隐蔽通信的重要工具,也是黑客窃取信息的重要手段。鉴于微博已成为最流行的互联网应用之一,研究了基于微博发表时间的隐蔽信道模型。发送方把秘密信息编码为微博的发表时间,接收方获取发表时间并解码原信息,实现隐蔽通信。针对微博发表时间的三个典型特性,设计了四种编码方法,并对其信道容量和抗时延抖动能力进行了分析评价。结果表明,以时间间隔和条数特性组合的编码方法的性能最优。
为了提高无线视频传输的主观视觉质量,提出利用结构相似度(SSIM)作为失真描述方法来综合配置应用层H.264/AVC视频编码量化参数和物理层调制与编码模式的跨层优化无线视频传输方法。实验结果表明,与非跨层优化视频传输方法以及基于误差平方和(SSE)评价的跨层优化无线视频传输方法相比,提出的方法可以降低计算复杂度,明显地提高接收端视频的主观视觉质量。
针对目前没有测试基准对格式化文本水印算法鲁棒性进行评估和比较,提出了格式化文本水印性能评估基准。回顾了水印系统通用的框架,分析并确定了影响水印系统性能的参数和文本文档的视觉质量评级标准。借鉴图像水印性能评估基准的攻击分类,提出了Word特有的去除攻击、几何攻击、密码攻击和协议攻击的攻击分类方法,同时阐述了Word特有的攻击模式。对两种不同的文本水印算法进行了攻击强度—鲁棒性、攻击强度—视觉质量和嵌
针对无线传感器网络中节点因分布不均或能耗而死亡导致覆盖空洞现象问题,提出了一种基于空洞交叉点信息的高效覆盖修补算法(CPA)。该算法依托几何知识,根据基准移动交叉点确定最佳修补位置,通过评估移动节点的入选权重,选择能量高且距离近的节点进行激活,完成空洞修补。该算法在充分利用网络中被遗留资源的同时实现了对空洞的完全覆盖。仿真结果显示,CPA算法在节点数目、资源利用率及算法运行时间效率等方面均有显著的