“第十一届可证明安全国际会议”暨“第九届网络空间安全会议”在西安举行

来源 :信息网络安全 | 被引量 : 1次 | 上传用户:windforce9811
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
10月23日-25日,由陕西师范大学主办的"第十一届可证明安全国际会议(Prov Sec 2017)"暨"第九届网络空间安全会议(CSS2017)"在西安召开。本次会议以"密码学中的可证明安全"为主题,来自80余所高校、研究机构、出版社和期刊编辑部的100多位专家、学者与学生参加了此次大会。开幕式由大会主席、西安电子科技大学网络与信息安全学院院长李晖教授主持。陕西师范大学副校长杨祖培教授,中国密码
其他文献
以沈阳地区某典型乳品城的工艺冰水系统设计为基础,提出了热源塔和空气冷却器两种免费供冷的方案,并对比分析了这两种方案的初投资和运行费用,得出了利用热源塔的免费冷却系
通过分析某公寓1号楼地基施工各阶段变形检测数据,剖析了地基不均匀沉降的原因,阐述了勘察设计数据不准造成的危害,提出了针对性的地基处理方案,从而保证该公寓建筑的安全性
文章对现有的Windows环境下进程空间扫描技术进行了研究,提出了与传统的结构体扫描技术截然不同的进程空间深度挖掘方法。该方法利用进程的固有特征,通过内存中重要的数据结构,特别是实现特定功能所必需的VAD二叉树及栈,实现了关键信息的抽取。实验表明,所述方法具有较好的可靠性及检测效率。