咨询与建议

限定检索结果

文献类型

  • 144 篇 期刊文献
  • 31 篇 会议

馆藏范围

  • 175 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 140 篇 工学
    • 119 篇 计算机科学与技术...
    • 84 篇 软件工程
    • 13 篇 控制科学与工程
    • 7 篇 机械工程
    • 7 篇 网络空间安全
    • 4 篇 仪器科学与技术
    • 4 篇 电气工程
    • 4 篇 建筑学
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
  • 25 篇 理学
    • 23 篇 数学
    • 4 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 24 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 8 篇 艺术学
    • 8 篇 设计学(可授艺术学...
    • 1 篇 美术学
  • 7 篇 哲学
    • 7 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 中医学
    • 1 篇 中西医结合
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 7 篇 半代数系统
  • 6 篇 形式化验证
  • 5 篇 原型系统
  • 4 篇 隐私保护
  • 4 篇 机器证明
  • 4 篇 云计算
  • 4 篇 互模拟
  • 4 篇 脉宽调制
  • 4 篇 逆变器
  • 4 篇 深度学习
  • 4 篇 特定谐波消除
  • 3 篇 模糊逻辑
  • 3 篇 可能世界模型
  • 3 篇 数据管理
  • 3 篇 数据挖掘
  • 3 篇 分布式系统
  • 3 篇 可信计算
  • 3 篇 数据建模
  • 3 篇 误差分析
  • 3 篇 嵌入式系统

机构

  • 142 篇 华东师范大学
  • 46 篇 上海市高可信计算...
  • 19 篇 复旦大学
  • 8 篇 北京大学
  • 7 篇 上海高可信计算重...
  • 6 篇 高可信软件技术教...
  • 6 篇 中国矿业大学
  • 5 篇 桂林电子科技大学
  • 5 篇 上海市高可信重点...
  • 5 篇 陕西师范大学
  • 4 篇 中国科学院自动化...
  • 4 篇 教育部可信软件国...
  • 4 篇 安徽工程大学
  • 4 篇 上海电力学院
  • 4 篇 温州大学
  • 3 篇 同济大学
  • 3 篇 南京大学
  • 3 篇 长海医院
  • 3 篇 第二军医大学
  • 3 篇 中国科学院成都计...

作者

  • 35 篇 周傲英
  • 23 篇 王晓玲
  • 19 篇 金澈清
  • 15 篇 陈仪香
  • 13 篇 张敏
  • 13 篇 陈小红
  • 11 篇 郁文生
  • 10 篇 曾振柄
  • 8 篇 刘静
  • 7 篇 宫学庆
  • 7 篇 赵世忠
  • 6 篇 金芝
  • 6 篇 陈铭松
  • 6 篇 邓玉欣
  • 6 篇 陈良育
  • 6 篇 高明
  • 6 篇 杨克虎
  • 6 篇 张蓉
  • 5 篇 王国俊
  • 5 篇 章玥

语言

  • 175 篇 中文
检索条件"机构=华东师范大学软件学院上海高可信计算重点实验室"
175 条 记 录,以下是11-20 订阅
排序:
基于二次乘法特征的射影线性码
收藏 引用
电子学报 2023年 第1期51卷 32-41页
作者: 陈辅灵 衡子灵 王鑫然 李成举 长安大学理学院 陕西西安710064 东南大学移动通信国家重点实验室 江苏南京210096 华东师范大学高可信计算重点实验室 上海200062
基于有限域上的二次乘法特征构造了两类线性码,精确计算出了它们的参数和重量分布.结果表明,第一类线性码是射影三重码,且对偶码关于球填充界几乎最优;第二类线性码是射影二重码,且对偶码关于球填充界几乎最优.此外,本文还得到了一些自... 详细信息
来源: 评论
PROPER:一个概率程序终止性与正确性分析工具
收藏 引用
软件学报 2022年 第12期33卷 4464-4475页
作者: 赵旭慧 邓玉欣 符鸿飞 华东师范大学上海市高可信计算重点实验室 上海200062 上海交通大学 上海200240
概率程序将概率推理模型与图灵完备的编程语言相结合,统一了对计算和不确定性知识的形式化描述,能够有效地处理复杂的关系模型和不确定性问题.提供了一种用于分析仿射概率程序的工具PROPER.一方面,它有助于定性和定量地分析仿射概率程... 详细信息
来源: 评论
基于MILP寻找SM4算法的差分特征
收藏 引用
计算机研究与发展 2022年 第10期59卷 2299-2308页
作者: 潘印雪 王高丽 倪建强 上海市高可信计算重点实验室(华东师范大学) 上海200062 密码科学技术国家重点实验室 北京100878
基于混合整数线性规划(mixed integer linear programming, MILP)的自动化搜索方法被广泛用于搜索密码算法的差分特征,已形成一套完整的框架.该框架采用的基本原理是用线性不等式来刻画密码算法的各个操作,该框架适用于搜索采用4-bit S... 详细信息
来源: 评论
基于义原级语句稀释法的文本对抗攻击能力强化方法
收藏 引用
软件学报 2023年 第7期34卷 3313-3328页
作者: 叶文滔 张敏 陈仪香 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室 上海200062 教育部软硬件协同设计技术与应用工程研究中心 上海200062
随着近年来机器学习方法在自然语言处理领域的应用越发广泛,自然语言处理任务的安全性也引起了研究者们重视.现有研究发现,向样本施加细微扰动可能令机器学习模型得到错误结果,这种方法称之为对抗攻击.文本对抗攻击能够有效发现自然语... 详细信息
来源: 评论
面向优先车辆感知的交通灯优化控制方法
收藏 引用
软件学报 2021年 第8期32卷 2425-2438页
作者: 邵明莉 曹鹗 胡铭 章玥 陈闻杰 陈铭松 上海市高可信计算重点实验室(华东师范大学) 上海200062
智慧交通灯控制能够有效地改善道路交通的秩序和效率.在城市交通网络中,具有紧急任务的特殊车辆对于通行效率的要求更高.目前已有的智慧交通灯控制算法通常对路网中的所有车辆一视同仁,没有考虑到特殊车辆的优先性;而传统的控制特殊车... 详细信息
来源: 评论
面向云网融合的细粒度多接入边缘计算架构
收藏 引用
计算机研究与发展 2021年 第6期58卷 1275-1290页
作者: 王璐 张健浩 王廷 伍楷舜 深圳大学计算机与软件学院 广东深圳518060 上海市高可信计算重点实验室(华东师范大学) 上海200062
随着智能终端设备的爆发式增长,多接入边缘计算(multi-access edge computing,MEC)成为支持多服务、多租户生态系统的关键技术之一.多接入边缘计算通过结合云端的移动计算技术和接入网的无线通信技术,实现了云端和网络的高效融合.然而,... 详细信息
来源: 评论
云数据安全保护方法综述
收藏 引用
计算机研究与发展 2021年 第10期58卷 2079-2098页
作者: 沈剑 周天祺 曹珍富 南京信息工程大学计算机与软件学院 南京210044 上海市高可信计算重点实验室(华东师范大学) 上海200062
计算机网络的快速发展与大数据的普及推动了云计算技术的进一步发展.云环境是网络与信息时代下数据交互的重要平台,为个人、企业和国家的数据高效交互提供了极大的便利,但同时也为云数据安全和隐私保护提出了新的挑战.首先给出了现有云... 详细信息
来源: 评论
公钥密码安全强度刻画概述
收藏 引用
密码学报 2023年 第5期10卷 879-896页
作者: 林申 陈洁 王陆平 华东师范大学软件工程学院上海高可信计算重点实验室 上海200062 苏州科技大学电子与信息工程学院 苏州215009 江苏省电梯智能安全重点建设实验室 常熟215500
安全强度是对密码方案安全性的量化指标,代表了攻破某密码方案所需的计算开销.公钥密码方案的安全强度与构建该方案所依赖的困难问题和具体的参数有关.随着后量子密码学的发展,原先单一的安全强度评估标准产生了变化和扩充.因此,系统性... 详细信息
来源: 评论
支持网络切片和绿色通信的软件定义虚拟化接入网
收藏 引用
计算机研究与发展 2021年 第6期58卷 1291-1306页
作者: 王廷 刘刚 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 上海诺基亚贝尔股份有限公司贝尔实验室 上海201206
接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined ne... 详细信息
来源: 评论
基于时间事件因果关系检测的工业软件的需求确认方法
收藏 引用
武汉大学学报(理学版) 2024年 第3期70卷 302-316页
作者: 尹玲 陈小红 安冬冬 谢越 上海工程技术大学电子电气工程学院 上海201600 上海市高可信计算重点实验室(华东师范大学) 上海200062 上海师范大学信息与机电工程学院 上海200233 中银金融科技有限公司 上海200120
工业软件深度参与研发设计、生产制造、运营管理和维护服务等方面,软件的行为符合业务的需要至关重要。因此,工业软件的开发需要进行需求确认,即确认系统的行为满足利益相关者(应用方的操作人员,通常是生产和运维中涉及的各方面的工作人... 详细信息
来源: 评论