摘要：Android应用开发完成之后,应用市场或其他开发人员等第三方有可能需要向该应用中增加某些功能.而Android系统要求所有的APK(Android Package,Android应用安装包)必须经过签名之后才能发布,由数字签名机制的性质可知经过第三方修改后的Android应用其签名肯定会发生改变,加之Android应用又极易获得,这就会导致未经授权的第三方擅自修改已发布的Android应用,以及难以验证二次发布的Android应用原设计者签名的有效性等问题.针对未授权修改和验证APK原设计者签名有效性困难等问题,本文提出一种基于可传递签名机制的APK授权方案,方案对Android安全机制中的应用签名机制进行了改进,并利用可传递签名机制适用于二元传递关系签名的特性来实现APK授权和验证原设计者的版权.通过第三方二次开发后发布的APK,任何验证者都很容易计算出合成签名即授权信息,根据声称者(应用开发者)提供的参数和计算出的合成签名验证者能够验证声称者声明的合法性,以此实现保护APK设计者版权和Android应用安全的目的.分析表明该方案能够满足Android应用签名的安全性要求.

摘要：现有的安全两方比较协议通常是让一方(如Alice)先获知比较结果,然后Alice将比较结果告知另一方(如Bob)。如果Alice拒绝或未将结果发送给Bob,则协议无法保障参与方都拿到比较结果,协议的公平性被破坏。为解决上述问题,结合门限Paillier密码系统与博弈论提出一种理性安全的公平两方比较协议TEAM。具体地,首先利用门限Paillier密码系统设计一种新型的安全两方比较协议。接着引入博弈论机制,探寻所提安全两方比较协议双方均获得比较结果的博弈均衡点。严格的理论分析表明,TEAM保障理性的参与方可在不泄露各自数据的情况下正确地获得比较结果,即TEAM是一个正确、安全且公平的两方比较协议。实验结果显示,同等实验环境下TEAM的计算效率相较于现有的安全两方比较方法运行速度能提升超50倍。

摘要：为全面分析飞轮微振动对高分辨率光学遥感小卫星系统的不利影响,建立遥感小卫星光学–姿控–结构全链路集成分析模型,在设计阶段评估隔振系统对微振动的抑制程度,计算相机综合像移结果。首先,以飞轮扰振为输入建立两级隔振动力学模型;然后建立线性光学系统像移与镜体自由度的函数关系,构建卫星姿态控制系统简化模型,计算卫星在隔振下的姿态角速度稳态误差和像移;最后开展地面测量和在轨微振动校验。结果表明:集成分析模型计算的相机最大像移为0.1298 px,卫星在扰振力矩作用下姿态稳定度为7.5×10^(-6) rad/s;地面试验中相机像移频域单方向最大为0.1148 px,姿态稳定度7.5×10^(-6) rad/s;在轨成像相机像移频域最大为0.0846 px,期间姿态稳定度达到7.0×10^(-6) rad/s。建模计算和实际测试结果处在同一水平,验证了模型的有效性。