王立斌
- 作品数：10 被引量：11H指数：2
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术自然科学总论电气工程电子电信更多>>
- 可移动系统安全模型统一框架被引量：3
- 2002年
- 本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对比;针对不同安全需求,可定义新的安全属性。并且,该框架建立一个新的安全属性研究的平台,可广泛地适用于具有移动进程的分布式系统的安全分析。
- 王立斌陈克非
- 关键词：Π演算
- 基于安全类型系统的访问控制模型
- 首先，为π-演算建立具有安全级别的安全类型。然后，建立该安全类型的子类规则和类型规则，并通过类型推理实现安全策略、访问权限的传递与改变。最后，证明该类型系统的类型可靠性，表明满足初始安全策略的系统经过不断的演进、交互依然...
- 王立斌陈克非
- 关键词：访问控制模型
- 文献传递
- 模糊自适应共振映射网络及网络修剪--理论及其应用
- 该文以模糊自适应共振映射网络为基础,研究了专家系统知识规则提取的新方法.文章首先系统地研究了Fuzzy ARTMAP网络的机理,并对其可塑性和稳定性进行了讨论;然后针对Fuzzy ARTMAP网络在模式识别时的特点对...
- 王立斌
- 关键词：FUZZY模式识别规则抽取
- 基于程序设计语言的安全模型研究
- 该文的主要工作有以下四个方面.首先面向安全模型中的访问控制问题,为π-演算建立具有安全级别的类型系统.其次,针对信息流控制问题,基于π-演算建立移动进程的不干涉安全模型.接着,为概率信息流的分析建立概率不干涉安全模型.最...
- 王立斌
- 关键词：计算机安全
- 文献传递
- 对HEMA模型的注记
- 2004年
- 首先通过分析HEMA模型 ,发现其中的若干设计缺陷 ,指出该模型存在的若干冗余 ,还分析讨论该协议中存储并加密传输密钥协商因子设计的不合理性 .然后讨论一个该协议并发运行的实例 ,从而指出该协议可能存在的并发运行错误 ,进一步说明使用可信第三方存储并加密传输可以完全公开的密钥协商因子是个实质性的错误 .最后 ,将HEMA模型与现有的若干认证与密钥交换协议进行比较 ,讨论HEMA的运行效率 .
- 王立斌陈克非
- 关键词：密钥交换安全协议
- 基于程序设计语言的安全模型被引量：3
- 2005年
- 安全模型是系统安全规范、设计和验证的依据,是系统安全高效实现的保障,是信息安全理论与应用中的重要课题。本文首先系统地简述了安全模型的发展与现状,分析安全模型研究面临的困难,讨论其发展趋势。在此基础上对当前安全模型中的前沿课题提出一种分类,称为基于程序设计语言的安全模型。进而,讨论基于程序设计语言的安全模型的研究目标,并讨论了该研究领域中的主要研究进展。最后,指出基于程序设计语言的安全模型的理论优势,及其研究中亟待解决的若干问题。
- 王立斌陈克非
- 关键词：程序设计语言安全规范安全型
- 300MW 电站汽轮机故障可信度推理计算方法的讨论
- 1998年
- 该文根据Ｓｈｏｒｔｈｉｆｅ的确定性理论，对传统的汽轮机故障可信度推理计算作了改进，更充分地考虑了多征兆间相互关联和影响，提高了可信度计算的正确性。
- 叶红兵陈汉平叶春忻建华王立斌
- 关键词：汽轮机电站
- 基于目标驱动模型的计算机安全风险分析被引量：2
- 2003年
- 本文分析描述计算机安全风险分析的组成框架及其要求,针对目前计算机安全风险分析存在的问题与不足,提出一种风险分析的目标驱动模型,并对该模型中的关键技术进行讨论,最后对比相关工作。讨论所提出模型的先进性。
- 汤燕生朱晓毛谢嘉孟王立斌
- 关键词：计算机安全风险分析风险评估
- 基于程序语言的完整性安全模型
- 本研究针对系统的完整性需求，从分析系统完整性需求的实质出发，对完整性进行高度的抽象和定义，使用π-演算和类型系统为理论工具为系统完整性建模，建立一种通用的完整性安全模型。具体研究工作围绕完整性安全模型中的两大主题：信息流...
- 王立斌
- 关键词：计算机安全程序设计语言
- 文献传递
- 为π演算建立具有安全级别的简单类型系统(英文)被引量：2
- 2002年
- 为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
- 王立斌陈克非
- 关键词：Π演算安全协议安全系统计算机安全
