上海科技大学知识管理系统(KMS): 检索

KMS

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	密码实现安全形式化验证发展现状与展望期刊论文前瞻科技, 2023, 卷号: 2, 期号: 01, 页码: 90-105 作者: 宋富 Adobe PDF(1290Kb) \| 收藏 \| 浏览/下载：352/0 \| 提交时间：2023/11/24 密码实现安全与隐私形式化验证功能正确内存安全侧信道安全
	SCVerify:抗功耗侧信道攻击软件实现的验证期刊论文计算机科学与探索, 2021, 卷号: 15, 期号: 6, 页码: 1074-1083 作者: 张俊 Adobe PDF(2081Kb) \| 收藏 \| 浏览/下载：206/0 \| 提交时间：2022/12/14 侧信道攻击可满足性模理论(SMT) 软件验证类型推导形式化验证

上海科技大学知识管理系统