住宅室内设计浅探

室内设计包括室内空间处理及室内装修两部分，都是研究“物”的问题，但不可否认也有其重要的精神作用。现代科技飞速前进，社会生产日益发展，人们对精神生活的要求也越来越高了。对室内设计要求更高。建筑师如何对住宅未来的装修做到在对空间上，功能上，结构上、经济上等方面结合考虑，尽量避免业主在后期装修过程中经济上的浪费，这是一个摆在建筑师面前的新课题，这里就一般住宅特点及可能遇到的问题谈住宅室内设计的一点粗浅体会。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

一种匿名代理签名方案的标记

Fu-Kou-Xiao提出了一种匿名代理签名方案,其特点在于：用户的真实身份隐藏在原始签名人颁发的一个假名中;匿名性撤销时不需要可信第3方的参与.对该方案进行分析发现,原始签名人可以滥用代理授权,代理签名人也能够对自己所生成的有效代理签名进行事后否认,即不满足代理签名权力的不可滥用性和不可否认性.     

基于PKI的高校安全教务管理研究

随着Internet技术的快速发展,基于B/S结构的网上教务管理系统为学院教务工作的办公自动化注入了新的活力.但在使用过程中非法监听、非法修改、事后否认等行为逐渐成为威胁系统安全亟待解决的问题.本文就如何将DES及RSA加密算法、公钥基础设施(PKI)及数字签名技术应用于网上教务管理系统以实现安全教务管理进行研究.通过实践证明利用加密、数字签名等技术构建的网上教务管理系统,可以实现安全的网上数据提交、存储、传输及使用,有效保证了信息的保密性,具有一定的使用价值.     

浅谈代理签名体制

随着计算机和网络通信技术的发展，数字签名技术得到了广泛的应用，针对数字签名权利的代理问题，人们提出了代理签名体制的概念，对代理签名体制的研究不但具有重要的学术价值而且还对国家安全和国家信息化建设具有极为重要的意义。     

不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

可转换非交互式指定验证者不可否认签名方案

将可转换不可否认签名方案的思想方法应用到NIDV 不可否认签名方案中,使其具有可转换为普通自验证 签名的性质,提出了一个可转换NIDV不可否认签名方案,并给出了随机预言模型下的安全性证明.     

电子政务网络信息安全问题分析与建议

电子政务网络安全是指信息安全和控制安全两部分。国际标准化组织把信息安全定义为“信息的完整性、可用性、保密性和可靠性”;控制安全则指身份认证、不可否认性、授权和访问控制。     

一个新的无证书不可否认签名方案

无证书密码体制(CL-PKC)是新近提出的一类新型公钥密码体制.它保持了基于身份的密码体制(ID-PKC)不需要使用公钥证书的优点,又较好地解决了基于身份的公钥体制所固有的密钥托管问题.对无证书体制下安全高效的签名方案的研究是受到高度关注的研究课题.本文用双线性对和零知识证明协议,构造了一种新的无证书不可否认签名方案.     

基于PKI的高校安全教务管理研究

随着Internet技术的快速发展，基于B／S结构的网上教务管理系统为学院教务工作的办公自动化注入了新的活力．但在使用过程中非法监听、非法修改、事后否认等行为逐渐成为威胁系统安全亟待解决的问题．本文就如何将DES及RSA加密算法、公钥基础设施（PKI）及数字签名技术应用于网上教务管理系统以实现安全教务管理进行研究．通过实践证明利用加密、数字签名等技术构建的网上教务管理系统，可以实现安全的网上数据提交、存储、传输及使用，有效保证了信息的保密性，具有一定的使用价值．