基于手持设备能力的页面拆分算法

随着移动计算的发展,通过手持设备存取Web将越来越普遍。手持设备的限制和多样性要求同一Web页面具有不同的表现形式,因此需要对Web页面进行选择、拆分等自适应操作以满足手持设备能力的限制。为了提高自适应页面的质量,提出一个两阶段页面拆分算法。该算法在保证自适应页面正确性的基础上,提出量化评估函数以保证每个小页面的语义连贯性和最优的资源利用率,从而增加页面的可用性。该算法已应用于多个样本页面,结果表明拆分结果具有较好的可用性。     

Efficient 4-round zero-knowledge proof system for NP

A 4-round zero-knowledge interactive proof system for NP (Non-deterministic Polynomial) is presented when assuming the existence of one-way permutations and collision-free hash functions. This construction is more efficient than the original construction of 5-round zero-knowledge proof system for NP. The critical tools used in this paper are: zap, hash-based commitment scheme and non-interactive zero-knowledge.     

支持多外围设备的基于身份的密钥隔离签名

给出一个支持多外围设备的基于身份的密钥隔离签名方案。方案中引入了n个不同且独立的外围设备,这n个外围设备以（k,n）秘密共享的方式共享密钥演化信息,其中任意k个外围设备都可以协助签名者完成临时私钥的更新,这样即使密钥频繁更新,也能保持较低的外围设备密钥泄露的机率,增强了系统防御密钥泄漏的能力。     

一种防破坏广播型匿名通信网的多路访问协议

针对Golle等提出的广播型匿名通信网络，设计了一种新的多路访问协议．将每个传送周期分为预约、确认和发送3个阶段，第1阶段采用随机预约映射技术对共享匿名信道进行公平分配，在第2阶段用匿名方式确认分配结果，而成员在第3阶段开始发送匿名消息，同时公布一个非交互式知识证明，以确认自己只在与确认结果一致的位置发送了匿名消息．所提协议可以保证成员绝对遵守分配规则，能有效防御破坏性拒绝服务攻击．利用该协议，不会损害通信系统的匿名性，并能显著提高匿名传输效率．仿真结果表明，在发送长匿名消息时，匿名信道利用率由原来的37％提高到了90％以上．     

基于ADAMS-MATLAB联合仿真的液压活套多变量解耦控制

对于具有非线性、强耦合、不确定特性的液压活套系统的多变量控制一直是轧制控制领域的难点问题,为了进一步提高热连轧带钢的控制品质,首先利用ADAMS建立了液压活套虚拟样机模型,然后利用M ATLAB设计了一种基于互不相关解耦策略的液压活套迭代学习控制系统,利用ADAM S/Sub模块与M ATLAB/Simulink接口得到联合仿真模型.基于此模型,对传统PID控制系统与所设计的控制系统进行了仿真研究,仿真结果表明所设计的控制系统可以更好地减弱活套张力与高度系统的耦合作用,使活套控制系统获得更好的控制效果.     

在双线性对下基于身份的非交互通用指定验证者签名证明

通用指定验证者签名证明(UDVSP)系统旨在保护签名拥有者的私有性,即从签名者得到有效签名的拥有者确信某个验证者他拥有有效签名,但是没有泄露签名的任何信息.与通用指定验证者签名相比,现有的UDVSP拥有指定的验证者不必预先建立自己的公私钥对的优点,以及如下缺点:①在签名拥有者和验证者之间存在一个交互协议;②签名拥有者不能验证指定验证者的身份.结果任意的攻击者都可以冒充指定验证者.文章给出了基于身份的非交互UDVSP和它的安全性定义.接着使用双线性对最早构造了基于身份的非交互UDVSP,该证明具有如下的优点:①指定验证者不需建立公私钥对;②证明是非交互的;③只有指定的验证者才能相信签名拥有者拥有签名者的有效签名.而且,在DLP,CDH,SDH和BPI是难的假设下,本系统是安全的.     

Reduction zero-knowledge

The nature of zero-knowledge is re-examined and the evidence for the following belief is shown:the classic simulation based definitions of zero-knowledge(simulation zero-knowledge)may be somewhat too strong to include some "nice" protocols in which the malicious verifier seems to learn nothing but we do not know how to construct a zero-knowledge simulator for it.To overcome this problem a new relaxation of zero-knowledge,reduction zero-knowledge,is introduced.It is shown that reduction zero-knowledge just lies between simulation zero-knowledge and witness indistinguishability.Under the assumption of existence of one-way permutations a 4-round public-coin reduction zero-knowledge proof system for NP is presented and in practice this protocol works in 3 rounds since the first verifier's message can be fixed once and for all.