关于诣零n－内射环关于诣零

主要探讨了两种环的扩张的诣零n－内射性. 首先证明了R∝R是左诣零n－内射的当且仅当对任意的δ，γ∈Rn，其中δ的每一个分量是幂零的，均有rRn＝δR＋γrR(δ). 其次， 证明了对任意的α，β∈Rn，并且α的每一个分量是幂零的，假设从αRn＋βrRn(α)到R的每一个同态都能扩张到R的一个自同态，那么S＝R∝R是右诣零n－内射的. 最后， 得到了如下的结果：如果n≥2，并且Tn(R)是右诣零n－内射的，那么R没有非零的幂零元.     

基于自认证的多接收者签密方案

基于多接收者签密和自认证密码系统理论,使用双线性对提出了一个基于自认证的多接收者签密方案,并在ECDL问题和BDH问题的难解性下证明了其安全性.所提方案在验证公钥真实性时,不需要额外的证书;可信机构不知道用户的私钥.与已有方案相比,该方案具有计算效率高、通信成本低等优点,更适合于在实际中应用.     

关于CEPA几大误区的探讨

有关两岸建立更紧密经贸关系的话题,目前随着“连宋”的大陆之行又一次引起许多人的浓厚兴趣。两岸之间是否能够建立CEPA以及CEPA的内容该如何确定,都是值得关注的问题。文章以香港与内地的CEPA为蓝本,剖析了对CEPA在认识上的几大误区,以期对台湾方面更清楚地认识CEPA有一定的帮助作用。     

基于Web的学校多媒体教学与管理系统安全模式设计

本文阐述了基于Web的学校多媒体教学与管理应用系统的安全模式设计,我们按照用户界面层、Web服务层、数据库层的三层结构来设计本应用系统,其安全控制分布在上述三层结构的每个层面之中。在设计时从这两个方面来考虑:一是对Web访问的控制,另一个是对数据访问的控制。RBAC来实现Web访问的控制、数据访问的控制,从而实现学校多媒体教学与管理系统的访问控制。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

基于Diffie-Hellman问题的有效认证方案

分析了Chen等提出的一个具有密钥协定的基于nonce的有效认证方案,发现此方案不安全,易遭受消息重放攻击和口令猜测攻击,会话密钥有可能被攻击者重新构建.基于Diffie-Hellman问题,给出了一个有效认证方案.与已有方案相比,新方案具有更安全、更实用等优点.     

改进的基于身份无可信中心的代理签名

根据基于身份无可信中心签名的性质,证明了已有的基于身份无可信中心的代理签名方案是不安全的,不能抵抗PKG的伪造攻击.不诚实的PKG可以伪造用户的授权签名和代理密钥,用伪造的授权签名生成消息的代理签名.对原有方案加以改进,提出了一种新的能够抵抗PKG伪造攻击的签名方案.分析表明,该方案不仅能满足代理签名所要求的所有性质,而且其效率也优于已有方案.     

程序正确性证明及循环不变式的寻找方法

重点讨论了与程序验证相关的问题,并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。     

关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

新的可验证加密方案及其应用

由于越来越多的电子商务在 INTERNET上执行 ,公平交换协议也就变得越来越重要 .可验证加密是公平交换协议重要的基础之一 ,所以设计好的可验证加密方案对公平交换协议的实现至关重要 .本文提出了一种全新的公开可验证加密方案 ,并在此基础上设计了一个适用于半可信第三方的公平交换协议的盲化可验证加密方案 .这两种方案简单、高效、易于实现