具有动态的(t,n)共享验证的认证加密方案

给出了一种新的 (t,n)共享验证的认证加密方案 ,其安全性基于大数的因式分解和离散对数问题 .本方案改进了现有的 (t,n)秘密共享方案 ,系统每个用户都可担任信息处理者和验证者 ,信息处理者可根据信息的安全需求设置不同的 t值 ,这些动态的操作都不需系统重新设置系统参数和各用户密钥 ;并能有效地检测和识别多种欺骗行为 ,因而有较高的安全性和实用性     

MOPNet：基于模块对象的Petri网模拟及其应用实例

本文把向对象的思想同扩充了的Ｐｅｔｒｉ网相结合，构造了基于模块对象的Ｐｅｔｒｉ网模拟方法ＭＯＰＮｅｔ，用于并发系统的建模，并给出了ＣＡＩ通信模型设计和实现的一个应用实例。     

死锁问题的Petri网描述

本文以Petri网为工具,讨论了系统发生死锁的充分条件和必要条件。本文特点在于把系统的死锁问题化为线性代数问题。     

绿色施工建造“绿色建筑”

绿色施工是绿色建筑全寿命周期中的一个组成部分,"绿色建筑"="绿色设计"十"绿色施工",两者缺一不可。长期以来,人们对绿色建筑的评价局限于对建筑物的设计和建筑成品各项指标的评定,忽略了绿色施工在"绿色建筑"形成过程中的重要作用。     

有向软件图自动布局的主流向式算法

软件图分为有向的和无向的两大类，对于有向软件图，我们选择数据流图作为代表，给出其可读性准则，并建立了其自动布局的主流向式算法，该算法的优点是其生成的有向软件图主流方向明确，易于阅读。     

基于智能卡的认证加密方案

将智能卡技术引入认证加密体制中,提出了一种基于离散对数问题认证加密方案,本方案包括身份识别、信息认证的加密和生成签名,且比文的方案具有更低的通信成本,由于它的多功能和有效性,十分适合智能卡之间,智能卡与终端之间的认证和信息交换。     

ElCamal型多重数字签名算法及其安全性

以美国数字签名标准DSA为基础,设计了有序多重数字签名和广播多重数字签名,其安全性是基于求解离散对数问题的,这两种方案签名具有随机性,初始化过程简单,能检测和防止签名者的欺骗行为,且比广播多重数字签名方案具有更低的通信成本,因而有较高的安全性和实用性。     

具有消息恢复的数字签名方案及其安全性

本文设计了两种具有消息恢复的数字签名方案，其安全性都基于因子分解问题和离散对数问题的，这两种方案签名具有随机性，用户密钥分配简单，比原有的具有消息恢复的数字签名方案性能更好，通信成本更低，因而有较高的安全性和实用性。     

具有（t,n）共享验证的认证加密方案及其安全性

在具有（t,n)共享验证的认证加密方案中，n个验证者共同分享信息恢复的责任，t个或t个以上的验证者互相合作可恢复加密的信息，少于t个验证者却不能恢复加密的信息，1998年Hsu和Wu提出了一种具有（t,n)共享验证的谁加密方案，但该方案不能抵抗欺骗行为的攻击，改进了Hsu-Wu方案，其安全性基于大数的因式分解问题和离散对数问题，本方案不仅能识别骗子的多种欺骗行为，提高了安全水平，而且传输信息量小。