王立斌

作品数：6被引量：9H指数：2
导出分析报告
供职机构：上海交通大学更多>>
发文主题：计算机安全Π演算程序设计语言设计语言安全协议更多>>
发文领域：自动化与计算机技术自然科学总论电气工程电子电信更多>>
发文期刊：《信息安全与通信保密》《电子学报》《计算机学报》《发电设备》更多>>
所获基金：国家自然科学基金国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序设计语言的安全模型被引量：3
《信息安全与通信保密》2005年第7期214-218,共5页王立斌 陈克非 
现代通信国家重点实验宣基金项目资助(基金号:51436040405JW0304)
安全模型是系统安全规范、设计和验证的依据,是系统安全高效实现的保障,是信息安全理论与应用中的重要课题。本文首先系统地简述了安全模型的发展与现状,分析安全模型研究面临的困难,讨论其发展趋势。在此基础上对当前安全模型中的前沿...
关键词：程序设计语言 安全模型 安全规范 安全高效 安全理论 发展趋势 前沿课题 研究进展 研究领域 研究目标 若干问题 系统 安全型 
对HEMA模型的注记
《计算机学报》2004年第4期573-576,共4页王立斌 陈克非 
国家自然科学基金 ( 90 10 40 0 5;60 173 0 3 2;60 2 73 0 49)资助
首先通过分析HEMA模型 ,发现其中的若干设计缺陷 ,指出该模型存在的若干冗余 ,还分析讨论该协议中存储并加密传输密钥协商因子设计的不合理性 .然后讨论一个该协议并发运行的实例 ,从而指出该协议可能存在的并发运行错误 ,进一步说明使...
关键词：认证 密钥交换 安全协议 HEMA模型 混合密码认证模型 
基于目标驱动模型的计算机安全风险分析被引量：2
《广东公安科技》2003年第4期41-44,共4页汤燕生 朱晓毛 谢嘉孟 王立斌 
本文分析描述计算机安全风险分析的组成框架及其要求,针对目前计算机安全风险分析存在的问题与不足,提出一种风险分析的目标驱动模型,并对该模型中的关键技术进行讨论,最后对比相关工作。讨论所提出模型的先进性。
关键词：计算机安全 风险分析 目标驱动模型 风险评估 适时性 幕景分析 
为π演算建立具有安全级别的简单类型系统(英文)被引量：1
《中国科学院研究生院学报》2002年第3期278-281,共4页王立斌 陈克非 
Major Program of National Natural Science Foundation of China (90104005) and General Program of Natural Science Foun-dation of China (69973031)
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
关键词：简单类型系统 Π演算 安全协议 规约语义 类型可靠性 安全系统 计算机安全 
可移动系统安全模型统一框架被引量：3
《电子学报》2002年第12A期2108-2110,共3页王立斌 陈克非 
国家自然科学基金重大研究计划项目(No.90104005);国家自然科学基金(No.69973031)
本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对...
关键词：可移动系统 安全模型 Π演算 不干涉模型 
300MW 电站汽轮机故障可信度推理计算方法的讨论
《发电设备》1998年第4期13-15,共3页叶红兵 陈汉平 叶春 忻建华 王立斌 
该文根据Ｓｈｏｒｔｈｉｆｅ的确定性理论，对传统的汽轮机故障可信度推理计算作了改进，更充分地考虑了多征兆间相互关联和影响，提高了可信度计算的正确性。
关键词：汽轮机 可信度 计算 故障 电站 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部