退出
我的积分:
中文文献批量获取
外文文献批量获取
陈锦富; 王震鑫; 蔡赛华; 冯乔伟; 陈宇豪; 许容天; Patrick Kwaku Kudjo;
江苏大学计算机科学与通信工程学院;
江苏省工业网络安全技术重点实验室;
威斯康星国际大学学院商业计算系 00233;
软件测试; 区块链; 智能合约; 安全漏洞; 蜕变测试;
机译:区块链智能合约的形式化:解决漏洞的方法和挑战
机译:书本智能而非街头智能:基于区块链的智能合约和法律的社会运作
机译:使用智能合约的物联网基于区块链的合约路由协议
机译:智能合约漏洞:是否需要区块链软件工程?
机译:使用基于跟踪的安全测试来检测程序漏洞
机译:基于条件和参数变异的第三方组件漏洞测试方法
机译:基于区块链智能合约的虚拟电厂的对等能源交易
机译:基于组件级模型的混合箱和VaV风扇系统故障检测方法的现场测试
机译:通过使用区块链智能合约执行(DLT)的区块链智能合约来实施基于角色的访问控制和授权验证器的系统,方法和装置
机译:基于区块链网络和区块链节点的智能合约在线捐赠管理方法
机译:在B2B合约管理系统中创作和嵌入基于区块链的智能合约
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。