检索结果-南通市图书馆

中国电子商务 2004年第7期 14-15页

作者：沈昌祥海军计算技术研究所

安全观视角下提升数据治理能力探索——专访中国工程院院士沈昌祥

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

发展研究 2023年第1期40卷 1-5页

作者：沈昌祥不详

中共中央、国务院印发了《关于构建数据基础制度更好发挥数据要素作用的意见》,为深化创新驱动、推动高质量发展、推进国家治理体系和治理能力现代化提供有力支撑。[1]福建省在公共数据资源开放、开发方面进行了积极探索,取得了一定成效... 详细信息

中共中央、国务院印发了《关于构建数据基础制度更好发挥数据要素作用的意见》,为深化创新驱动、推动高质量发展、推进国家治理体系和治理能力现代化提供有力支撑。[1]福建省在公共数据资源开放、开发方面进行了积极探索,取得了一定成效,制定实施了《福建省公共数据资源开放开发管理办法(试行)》,希望能进一步推进公共数据资源开放开发向制度化规范化发展。[2]中国工程院院士沈昌祥是中国密码科技、信息系统工程领域的顶级专家,为此,我刊专访沈昌祥院士,请他谈谈如何提升中国数据安全产品供给能力,以期通过数据治理更好地推动社会经济安全发展。

关键词：数据数字经济数据安全数字基建

身份证为根网络身份可信——专访第二代居民身份证首席安全专家、居民身份证网上应用首席科学家沈昌祥院士

在线全文

学校读者我要写书评

暂无评论

警察技术 2016年第1期 3-7页

作者：谭晃沈昌祥《警察技术》编辑部国家密码管理委员会办公室北京大学清华大学国防科技大学

随着互联网技术的不断发展,电子政务、电子商务、互联网金融、网络社交等互联网应用层出不穷,对网络信任的需求也越来越迫切。为应对我国互联网发展和管理面临的新情况,2014年,公安部第一研究所受中央网信办委托,开展我国网络可信体系... 详细信息

随着互联网技术的不断发展,电子政务、电子商务、互联网金融、网络社交等互联网应用层出不穷,对网络信任的需求也越来越迫切。为应对我国互联网发展和管理面临的新情况,2014年,公安部第一研究所受中央网信办委托,开展我国网络可信体系建设的相关研究,创新性地提出了＂基于居民身份证构建具有中国特色的网络可信身份管理体系＂的思路和理念,

关键词：网上应用网络信任电子政务身份管理中国特色管理体系建设试点应用沈昌

构建可信计算环境下的大数据安全保障体系——访中国工程院院士沈昌祥

在线全文

学校读者我要写书评

暂无评论

保密科学技术 2015年第9期 4-7 1页

作者：李满意沈昌祥中国工程院国家保密局专家咨询委员会国家信息安全等级保护专家委员会北京大学清华大学国防科技大学浙江大学中科院研究生院上海交通大学

2015年8月,国务院印发了《促进大数据发展行动纲要》,明确提出落实信息安全等级保护、风险评估等网络安全制度,建立健全大数据安全保障体系,强化大数据安全支撑,采用安全可信产品和服务,提升基础设施关键设备安全可靠水平。本文专门请... 详细信息

2015年8月,国务院印发了《促进大数据发展行动纲要》,明确提出落实信息安全等级保护、风险评估等网络安全制度,建立健全大数据安全保障体系,强化大数据安全支撑,采用安全可信产品和服务,提升基础设施关键设备安全可靠水平。本文专门请国家信息化专家咨询委员会委员、中国工程院院士沈昌祥就如何落实信息安全等级保护制度,构建可信计算环境下的大数据安全保障体系进行了探讨。

关键词：数据安全可信计算中国工程院院士安全等级保护信息化专家网络安全设备安全沈昌信息系统安

用法制化推进密码智能化实现主动免疫的可信——专访中国工程院院士、密码学家沈昌祥

在线全文

学校读者我要写书评

暂无评论

中国信息安全 2019年第11期 65-68页

作者：向继志沈昌祥不详中国工程院

一、《密码法》推进我国密码科学智能化的发展记者:沈院士您好,感谢您百忙之中接受我们的专访。2019年10月26日,全国人大常委会通过《中华人民共和国密码法》(以下简称《密码法》),该法将自2020年1月1日起施行。作为我国密码学领域的第... 详细信息

一、《密码法》推进我国密码科学智能化的发展记者:沈院士您好,感谢您百忙之中接受我们的专访。2019年10月26日,全国人大常委会通过《中华人民共和国密码法》(以下简称《密码法》),该法将自2020年1月1日起施行。作为我国密码学领域的第一个国家科技进步一等奖获得者、资深密码学家、中国工程院院士,请谈一谈您的感受?

关键词：中国工程院院士主动免疫密码学家智能化法制化专访

在线全文

学校读者我要写书评

暂无评论

沈昌祥:电子商务主要问题是安全

中国信息界 2004年第9S期 34-34页

作者：沈昌祥国家信息化专家咨询委员会

全球的电子商务已经在复苏与发展,但是人们应该看到,在发展的过程当中存在着严峻的挑战.

关键词：电子商务网络安全信用沈昌祥

在线全文

学校读者我要写书评

暂无评论

网络安全应是推进新型工业化一大着力点

网络安全和信息化 2024年第1期 1-3页

作者：沈昌祥中国工程院

党的二十大报告提出：到2035年基本实现新型工业化;强调坚持把发展经济的着力点放在实体经济上，推进新型工业化，加快建设制造强国......这是党中央高瞻远瞩、审时度势做出重大战略部署，将大力推动数字化转型、网络化重构、智能化提...

党的二十大报告提出：到2035年基本实现新型工业化;强调坚持把发展经济的着力点放在实体经济上，推进新型工业化，加快建设制造强国......这是党中央高瞻远瞩、审时度势做出重大战略部署，将大力推动数字化转型、网络化重构、智能化提升、产业化升级，为高质量发展提供有力支撑。新型工业化是中国总结国内外工业化正反两个方面经验，既不同于中国历史上，也不同于发达国家走过的经济发展模式的理论创新。与过去相比，

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

打造智能制造时代安全可信产业新生态

软件和集成电路 2024年第7期 29-30页

作者：沈昌祥中国工程院

我们一定要抓住可信计算的重要发展机遇,构建安全可信的计算模式和体系框架,推动安全可信架构硬软融合和产业创新发展,打造智能制造时代的安全可信产业新生态。随着信息技术的高速发展和应用领域的不断拓宽,互联网已经融入现代社会生产... 详细信息

我们一定要抓住可信计算的重要发展机遇,构建安全可信的计算模式和体系框架,推动安全可信架构硬软融合和产业创新发展,打造智能制造时代的安全可信产业新生态。随着信息技术的高速发展和应用领域的不断拓宽,互联网已经融入现代社会生产生活的各个层面,对经济建设、社会发展、国家治理和人民生活等都产生了重大影响。党的二十大报告做出“加快建设交通强国、网络强国、数字中国”的重要战略部署。《中华人民共和国网络安全法》《国家网络空间安全战略》等国家法律法规也指出,应推广、加快或全面使用安全可信的网络产品和服务。

关键词：安全可信可信计算国家网络空间安全战略信息技术重要战略部署网络安全法现代社会生产网络强国

以科学的网络安全观加快网络空间安全学科建设与人才培养

在线全文

学校读者我要写书评

暂无评论

中国信息安全 2024年第3期 17-19页

作者：沈昌祥中国工程院

信息时代,网络空间已成为陆、海、空、天之外人类活动的“第五空间”,是国家主权的新疆域,没有网络安全就没有国家安全。2017年5月12日爆发的“WannaCry”勒索病毒,通过将系统中数据信息加密,使数据变得不可用,并向被害人勒索赎金。这... 详细信息

信息时代,网络空间已成为陆、海、空、天之外人类活动的“第五空间”,是国家主权的新疆域,没有网络安全就没有国家安全。2017年5月12日爆发的“WannaCry”勒索病毒,通过将系统中数据信息加密,使数据变得不可用,并向被害人勒索赎金。这一病毒席卷近150个国家,教育、交通、医疗、能源网络成为这轮攻击的重灾区。

关键词：网络空间勒索病毒网络安全第五空间能源网络人才培养国家主权信息时代

在线全文

学校读者我要写书评

暂无评论

基于数理逻辑的安全协议本征逻辑分析方法

密码学报（中英文） 2024年第3期11卷 588-601页

作者：李益发孔雪曼耿宇沈昌祥郑州大学网络空间安全学院郑州450002 海军研究院、中国工程院北京100088

本文提出了一种基于数理逻辑的安全协议本征逻辑分析方法—SPALL方法.该方法在一阶谓词逻辑的基础上,增加了基于密码学的若干新语义,包括新的密码函数项、与密码学和安全协议分析相关的一阶谓词和二阶谓词等,并给出了十三类二十九条公理... 详细信息

本文提出了一种基于数理逻辑的安全协议本征逻辑分析方法—SPALL方法.该方法在一阶谓词逻辑的基础上,增加了基于密码学的若干新语义,包括新的密码函数项、与密码学和安全协议分析相关的一阶谓词和二阶谓词等,并给出了十三类二十九条公理,仍使用谓词逻辑的分离规则和概括规则,形成新的安全协议分析系统,称为本征(latent)逻辑系统(也称本征逻辑或L逻辑).该系统是一阶谓词系统的扩充,以密码学和安全协议为“特定解释”,并定义了“概率真”的概念,力求每条公理在“特定解释”下是概率真的,而分离和概括规则又能保证从概率真演绎出概率真,从而使每条定理都概率真,以保证公理系统的可靠性.清晰的语义可以精确描述安全协议的前提与目标,基于公理和定理的协议分析,可简洁有效地推导出协议自身具有的安全特性.本文给出了详细的语义和公理,以及若干实用定理,然后对著名的密钥建立协议进行了详细分析,并对比了可证安全方法的分析结果,展示了本文方法的优势.此外还分析了电子选举协议和非否认协议,展示了本文方法有着广泛的适用范围.

关键词：安全协议协议分析 BAN类逻辑 SPALL方法(SPALL逻辑) 本征逻辑