摘要：针对权限系统中存在角色授权策略单一和授权冲突的问题,设计IPC_URBAC模型,在RBAC模型的基础上增加继承约束的用户直接授权机制和优先约束的用户角色分配机制,提出基于个体和优先的授权冲突解决策略,并给出用户权限和角色权限的求解算法。运用IPC_URBAC,构造二进制授权掩码进行复杂权限设置,应用Web Service完成细粒度权限检查,达到权限与业务的剥离,实现一种与业务无关的柔性授权系统。

摘要：现存的群签名方案要么不考虑群成员的废除问题[1,2,4,5,7,10],要么存在计算量与被废除成员线性相关的缺点[3],是低效的,要么是不安全的[5]。考虑到RSA是应用最广泛的公钥密码体制之一,首次基于RSA设计出一种群签名方案。新方案在不改变其他有效群成员的密钥的情况下,可以安全地增加或撤消群成员;可以高效地实现成员的增加或撤消;可以适合大的群体使用;具有基于大数分解困难性的安全性。

摘要：介绍了某矿业集团公司的安全培训监管系统的设计与开发。系统设计并实现了对矿区各工种工作人员的安全生产培训信息的更新、信息检索、安全生产周期培训的强制管理、系统代码维护、基于时间戳双射的数据库备份与恢复、多表源动态复合报表和交叉统计报表的生成及打印。系统的设计和开发有效地提高了矿区安全生产监管部门的工作效率,杜绝了无证工作等各类违规人员的危险操作可能引发的各种矿难,提高了矿业生产的安全性。

摘要：考虑到现存的证实数字签名方案或者是不安全的，或者是低效的，基于Canmenisch-Michels形式化模型和结构，提出一种新颖的完全基于DSA及RSA的证实数字签名方案。新方案中的证实与否认协议是交互式的零知识证明协议，在证实或否认一个证实签名时，验证者V主动地参与协议的执行与交互，可以有效地避免证实签名的可转移性问题。

摘要：无线信号之间的干扰阻碍了信号的并发传输,降低了无线网络的吞吐量.链路调度是提高无线网络吞吐量、减少信号传输延迟的一种有效方法.因为SINR (signal to interference plus noise ratio)模型准确地描述了无线信号传播的固有特性,能够真实反映无线信号之间的干扰,提出一种在动态无线网络中基于SINR模型的常数近似因子的在线分布式链路调度算法(OLD_LS).在线的意思是指,在算法执行的过程中任意节点可以随时加入网络,也可以随时离开网络.节点任意加入网络或者从网络中离开体现了无线网络的动态变化的特性. OLD_LS算法把网络区域划分为多个正六边形,局部化SINR模型的全局干扰.设计动态网络下的领导者选举算法(LE),只要网络节点的动态变化速率小于1/ε, LE就可以在O(log n+log R)ε≤5(1-21-α/2)/6,α表示路径损耗指数, n是网络节点的规模, R是最长链路的长度.根据文献调研,所提算法是第1个用于动态无线网络的在线分布式链路调度算法.

摘要：知识库是计算机智能的重要来源。要提高机器的智能程度,不仅需要大型的知识库,更需要知识之间的广泛联通。类似于MindNet的语义联通,我们以文本知识为背景提出了基于本体的概念联通。文章首先介绍了知识本体的设计思想,然后进行属性的本体分析,最后讨论了基于属性的概念联通以及A-属性联通测度。

摘要：变结构控制对参数不确定性,外部干扰和未建模动态具有鲁棒性,并被应用到鲁棒模型参考自适应系统.其缺点是易产生抖振.本文设计一种带有前置滤波器的变结构控制器,改善系统动态性能并消除了抖振.前置滤波器使带有符号函数的控制切换产生连续可测信号,实际控制律是光滑的.控制器设计和不确定性估计中引入辅助信号和带有记忆功能的正规化信号,适当选取控制器参数,所设计的控制器保证了闭环系统稳定性和任意小的跟踪误差.仿真结果表明该算法是有效的.

摘要：为了分析网络威胁的演化趋势,并探讨安全态势的自主感知和调控问题,将跨层结构和认知环融入模型的设计,提出一种基于融合的网络安全态势认知感控模型,增强网络安全系统的层间交互和认知能力.在分析模型组件及其功能的基础上,利用多源融合算法得到各异质传感器对网络安全事件的准确决策,结合对安全事件威胁等级和威胁因子关系的推演,克服威胁因子获取过程中需处理网络组件间复杂隶属关系的不足,从而提出包含服务级、主机级和网络级的层次化态势感知方法,提高对网络威胁的表达能力.而且通过对态势感知曲线的分析,搭建离散计算和连续控制之间的桥梁,形成闭环反馈控制结构,解决安全态势自感知和自调控的问题.仿真实验结果表明:基于融合的网络安全态势认知感控模型及方法能够融合异质安全数据,动态感知威胁的演化趋势,并具有一定的自主调控能力,达到了认知感控的研究目的,为监控和管理网络提供了新的方法和手段.

摘要：传统的数字签名方案存在证书的存储和管理开销大的问题,基于身份的数字签名方案无法解决其固有的密钥托管问题,而无证书签名方案不需使用公钥证书,而且没有密钥托管问题,是目前的一个研究热点。基于双线性映射设计出一个无证书签名方案,并在随机预言机模型下证明了它的安全性。该无证书签名方案在签名和验证阶段共需要两个双线性映射运算,具有较高的执行效率。签名方案的安全性建立在计算Diffie-Hellman问题的困难性假设上。性能分析表明,设计的签名方案在保证安全性的前提下,具有较高的执行效率。

摘要：在 backstepping程序中 ,把非线性自适应控制和鲁棒控制连接起来 ,为参数化的严格反馈系统在不确定性存在的情况下 ,建立了一种鲁棒自适应控制方案 .非线性自适应控制被用来处理系统的线性参数化部分 ,而鲁棒控制通过引进非线性阻尼项被用来处理不确定性部分 .与现有的方案不同 ,作者给出了非线性阻尼项的无限种选择 ,而不是仅仅一种选择 .通过使用一种合适的选择 ,能够设计一个鲁棒自适应控制器 .它不仅能够保证对不确定性的鲁棒性 ,而且能够使输出误差任意小 。