您好，欢迎来到绿色技术银行！
  • 成果
  • 需求
  • 专家
登录 注册
成果库
基于行为认证的电子银行可信软件验证试验环境研究

0

登记号：G20174883

所属行业：科学研究和技术服务业

学科分类：环境科学技术及资源科学技术;

关键词： 系统软件 电子银行可信软件 电子银行系统

绿色分类：生态安全评价;

  • 基本信息
成果名称： 基于行为认证的电子银行可信软件验证试验环境研究
成果登记号： G20174883 学科分类： 环境科学技术及资源科学技术;
绿色分类： 生态安全评价; 项目关键词： 系统软件  电子银行可信软件  电子银行系统    
推荐单位：

成果所处阶段：
合作方式： 成果所属行业： 科学研究和技术服务业
国家/地区： 上海 知识产权： 其他
简介： 点击查看
该项目针对电子银行系统的安全问题，以Petri网为基础建模工具，从系统软件病态行为机理、可预期性验证、行为相关性分析、脆弱点提取等多方面对系统可信性进行研究。提出复杂网络系统的标签PN机模型，并扩展该系统行为分析理论，形成项目基础理论框架。研究软件的先天及后天病态机理、“免疫”与“自愈”技术，为软件系统的安全防护提供理论与技术支撑；研究系统的软件行为可预期性、用户行为一致性，并构建行为证书、设计验证算法，从行为方面保证系统可信。基于上述成果，开放可信电子银行原型系统，以实证该项目提出的基础模型和核心算法的正确性和有效性。四年共发表论文45篇，其中在IEEE/ACMTrans.系列汇刊上发表论文7篇，SCI检索或源刊24篇，EI检索37篇。发明专利受理2项。课题组承担的“网格资源管理与优化的虚拟超市技术及其应用”获2009年度上海市技术发明奖一等奖。课题组承担的“基于虚拟超市技术的大规模网络资源管理及其应用”获2010年度国家技术发明奖二等奖。培养博士生5人，硕士生9人，1人获同济大学优秀博士学位论文奖，1人获同济大学学术新人奖。
姓名： 性别：
出生日期： 职务：
国籍(地区)： 联系地址： 上海市四平路1239号
电子邮件：
相似的成果
匹配的需求
相关专家
绿色科技信息网
关于我们

简介

组织架构

大事件

联系方式

021-24197746    021-24197802

021-24197801    021-80197528

地址：上海市徐汇区中山西路1525号

上海市虹口区东大名路1098号浦江国际金融广场5楼

主办单位

绿色技术银行管理中心(上海科学技术交流中心)

绿技行（上海）科技发展有限公司

关注我们

版权所有：上海科学技术交流中心| 绿色技术银行 沪ICP备05032341号-4 |  沪公网安备31010402003525号