智能法律合约(面向合约的软件开发语言技术及应用)
全新正版 极速发货
￥ 40.4 4.5折 ￥ 89 全新
库存2件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者朱岩,王迪
出版社清华大学出版社
ISBN9787302607205
出版时间2022-09
装帧平装
开本16开
定价89元
货号31584592
上书时间2024-11-18
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
朱岩，北京科技大学教授、博士生导师。曾就职和服务于北京大学、美国亚利桑那州立大学和美国密西根大学。研究领域包括：信息安全、密码学、随机算法等，重点研究面向金融服务的区块链与智能法律合约理论与技术、政务大数据安全与处理等领域，并在代码法律化、零信任安全架构等方面取得创新型成果。曾先后主持或参加近20项国家重点研发计划、国家自然科学基金、国家863/973计划、国家发改委、国家密码发展基金、北京市经信委等科研课题。目前已在国内外会议与期刊上发表SCI/EI检索论文100余篇，Google学术他引超过3000次，已申请和授权中国和美国及国际专利20余项。受聘北京市通信保障和信息安全应急专家、中国电子学会区块链专委会副主任、中国密码学会安全协议专业委员会会员等职务。
目录
第1章 绪论
1.1 智能合约
1.1.1 智能合约概念
1.1.2 智能合约工程
1.2 区块链智能合约框架
1.2.1 智能合约工程软件架构
1.2.2 支持灵活服务应用程序开发的智能合约语言
1.2.3 智能合约安全部署与隐私
1.2.4 智能合约的可信执行
1.3 本书内容安排
1.4 小结
参考文献
第2章 智能法律合约概念辨析
2.1 引言
2.2 智能合约概念
2.3 智能法律合约
2.3.1 智能法律合约定义及内涵
2.3.2 智能合约语言发展现状
2.3.3 智能法律合约与法律合同的关系和区别
2.4 智能合约的法律化探索与实践
2.4.1 智能合约的法律化思考
2.4.2 智能合约的法律化探索
2.5 智能合约系统架构及法律化辨析
2.5.1 智能合约架构描述
2.5.2 智能合约的区块链部署
2.5.3 合约代码运行
2.5.4 区块链所部署智能合约法律化辨析
2.6 智能法律合约研究进展
2.6.1 合约逻辑模型研究
2.6.2 智能法律合约语言模型研究
2.6.3 智能合约与监管
2.7 小结
参考文献
第3章 智能法律合约语言
3.1 引言
3.1.1 面临的挑战
3.1.2 解决挑战的思路
3.1.3 本章组织及内容
3.2 相关研究背景
3.2.1 区块链与智能合约
3.2.2 领域特定语言
3.2.3 Xtext
3.3 智能法律合约语言SPESC语法规范
3.3.1 一般结构
3.3.2 当事人和条款
3.3.3 条款表达式
3.3.4 表达式
3.3.5 时间表达式
3.3.6 交易
3.4 从SPESC中派生程序框架
3.5 案例研究
3.5.1 案例设计
3.5.2 结果
3.5.3 RQs的回答
3.6 相关工作
3.7 小结
参考文献
第4章 智能法律合约编译方法
4.1 引言
4.1.1 研究动机
4.1.2 相关工作
4.1.3 本章主要工作
……
第5章 智能法律合约订立方法
第6章 合约化资产与权属交易
第7章 现用现付的智能服务合约
第8章 智能法律合约语言
第9章 合同文本置标语言
附录 书中使用的术语及定义
内容摘要
本书以实现法律化的程序设计为目标、面向合约软件开发理论为基础，系统地介绍了智能法律合约与面向合约软件工程的概念与架构，对智能法律合约的法律属性、语言设计进行了理论分析和模型设计，提出了智能法律合约的编译方法、订立方法等实用化工具和技术，并在数字资产与权属交易和智能合约即服务等方面给出了智能法律合约的应用解决方案和相关智能法律合约语言标准。本书系统地阐述了如何实现法律化的程序设计与开发，让非计算机专业人士也可参与设计自己的区块链智能合约。本书内容能够
很好地帮助读者了解智能法律合约的研究进展、基本理论和方法，以及未来发展方向，其中示例也能帮助本领域学者进行示例化研究，从而推动智能法律合约的发展。
本书可供计算机、金融、信息安全等领域的高等院校师生及科研院所研究人员阅读参考，对律师、司法人员等法律界人士也具有重要
的参考价值。
— 没有更多了 —
以下为对购买帮助不大的评价