今天介绍的论文来自于南京大学、南洋理工大学、新加坡管理大学合作完成并投稿的,已被软件工程顶会ICSE 2025接收的论文SpecGen: Automated Generation of Formal ...
G.O.S.S.I.P 阅读推荐 2024-09-27 Certifiable Black-box Attack 可验证黑盒攻击
今天给大家推荐近期被CCS 2024接收的论文Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking ...
第三方软件测评检验依据:《GB/T 25000.51-2016》标准解读
2016 年,国家标准化委员会发布了国家标准 GB/T 25000.51-2016《系统与软件工程 系统与软件质量要求和评价(SQuaRE)第 51 部分:就绪可用软件产品(RUSP)的质量要求和测试...
2024年去中心化身份的不完全指南
2024年是去中心化身份值得关注的一年!尽管它的思想起源于2001年!国内有关组织正在进行筹划和推进中 !本指南的阐述对可能不会让您真正理解到内部流程,只是铺个基本概念普及。前言 2021年身份资...