支持多种安全级别的文件加密工具设计

针对目前加密工具存在加密算法单一、密钥管理不方便、密文文件共享不安全、文件重要性未区分等问题,设计了一个支持多种安全级别的文件加密工具。该工具的密钥随机生成,按用户分组组织,保存于密钥文件中,并按照文件的重要性,把它分成一般、中等和高3个安全级别。一般和中等安全级别文件加解密时,自动从密钥文件中查找密钥,而后者解密时需要进行用户认证,高安全级别文件的密钥不在密钥文件中,加密时随机生成,用投票者的公钥加密后保存到服务器,解密时需要所有投票者同意才能解密。该工具加密时随机选择加密算法,密钥无需用户记忆,通过密钥管理保证不同级别密文文件共享的安全,既具有操作的方便性,又具有较高的安全性。     

芽菜肉包标准化生产工艺探索

芽菜肉包是川点中的传统名小吃，本文对其标准化、大批量生产工艺进行了探索，希望能抛砖引玉，为四川面点行业带来新的思考。     

叶儿粑标准化生产工艺探索

为了更好地传承四川名小吃的特色,并且满足现代餐饮市场快节奏高效率的要求,现就四川传统名小吃叶儿粑的标准化、大批量生产工艺进行探索,希望能为四川名小吃的产业化发展做出一定贡献.     

群签名中成员删除问题的更新算子解决方案

提出了Camenisch-Stadler群数字签名方案中成员删除问题的一个新的解决方案.新方案使用了群组成员秘密特性钥更新算子方法.新方案中当一个成员加入或被群组删除后,群主管计算并公布群组新的特性公钥及群组成员秘密特性钥更新算子,群中的每个成员只需要利用公开的更新算子重新计算各自的秘密特性钥,系统不需要对每个成员更新颁发成员证书.因此,新方案对大的群组是一个可接受的方案.群组的公开钥、成员的秘密钥及签名的长度都是固定不变的.新方案比Bresson-Stern的群组成员删除方案要好,因为Bresson-Stern的群组成员删除方案中对信息的签名含有证据,这些证据的个数随着被删除对象的个数呈线性增长.更新算子的思想受到了Kim-Lim-Lee的启发,但是该签名算法更为简明.所提出的方案的安全性是基于RSA问题的困难性假设,新方案是抗伪造攻击的,伪造成功等同于求解RSA问题.     

一种分析密码协议的新逻辑

提出了一种分析密码协议的新逻辑。针对信息安全的需要,给出了一套与加解密、签名等密码学操作有关的构造和推理规则,举例说明此逻辑在分析密码协议中的应用,并讨论了需要进一步研究的问题。     

一个支持进化的框架设计方案

提出了一个基于功能的模式化框架进化解决方案.该方案的基本思想是把业务对象的各个功能视为不同的热点(hot spot),通过定义一系列的模式语言给出每个hot spot的定义规则及其对该规则的实现.开发人员根据新的业务需要可对模式语言进行修改,以此来解决框架的进化问题.最后介绍了应用该方案的一个实例.     

一个支持进化的框架设计方案

提出了一个基于功能的模式化框架进化解决方案．该方案的基本思想是把业务对象的各个功能视为不同的热点(hotspot)，通过定义一系列的模式语言给出每个hotspot的定义规则及其对该规则的实现．开发人员根据新的业务需要可对模式语言进行修改，以此来解决框架的进化问题．最后介绍了应用该方案的一个实例．     

一个用于Java RMI的UML profile

给出了一个用于Java RMI(Remote Method Invocation)的UML profile．讨论了如何建立该UML profile以及如何使用它对Java RMI应用系统进行文档化。     

潜艇悬停数学模型的理论探索

建立潜艇悬停仿真数学模型，从理论上对潜艇悬停运动进行了深入分析，为潜艇悬停的操纵提供理论参考和依据．     

基于Isabelle的证明信息系统设计

Isabelle定理证明器中的证明步骤和证明状态是非常具有参考价值的证明信息。然而目前没有工具可以有效管理这些信息。本文给出一个基于Isabelle的信息系统设计方案。利用该系统的实现,用户可以提取、保存和搜索这两种证明信息。