Tabellion: secure legal contracts on mobile devices
Tabellion: secure legal contracts on mobile devices
复制标题
Tabellion：移动设备上的安全法律合同
DOI：
10.1145/3386901.3389027
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Kim, Sung Eun
中科院分区：
文献类型：
--
作者：
Mirzamohammadi, Saeed;Liu, Yuxin;Huang, Tianmei Ann;Sani, Ardalan Amiri;Agarwal, Sharad;Kim, Sung Eun
一份法律的合同是两个或多个当事人之间就将来要做的事情达成的协议。以电子方式订立合同是可取的，因为它很方便。然而，现有的电子合同平台有一个严重的缺点。它们没有提供有力的证据证明合同是合法有效地订立的。更具体地说，它们没有提供有力的证据证明电子签名是真实的，存在相互同意，以及当事人有机会阅读合同。我们提出了Tabellion，一个用于在移动的设备（如智能手机和平板电脑）上形成法律的合同的系统，它解决了上述缺点。我们定义了四个安全原语，并使用它们在Tabellion引入不言自明的合同，其有效性可以由独立的检查员进行验证。我们展示了如何这些原语可以安全地实现在可信的执行环境（TEE）的移动的设备，以及在一个集中式服务器的安全飞地，所有与一个小的可信计算基地（TCB）。此外，我们证明了在这些原语之上构建一个功能齐全的合同平台是可行的。我们为原型开发了约15，000行代码（LoC），其中只有约1，000行需要信任。通过分析，原型测量和30人的用户研究，我们表明，Tabellion是安全的，达到可接受的性能，并提供比最先进的电子合同平台DocuSign略好的可用性，用于查看和签署合同。
A legal contract is an agreement between two or more parties as to something that is to be done in the future. Forming contracts electronically is desirable since it is convenient. However, existing electronic contract platforms have a critical shortcoming. They do not provide strong evidence that a contract has been legally and validly created. More specifically, they do not provide strong evidence that an electronic signature is authentic, that there was mutual assent, and that the parties had an opportunity to read the contract. We present Tabellion, a system for forming legal contracts on mobile devices, such as smartphones and tablets, that addresses the above shortcoming. We define four secure primitives and use them in Tabellion to introduce self-evident contracts, the validity of which can be verified by independent inspectors. We show how these primitives can be implemented securely in the Trusted Execution Environment (TEE) of mobile devices as well as a secure enclave in a centralized server, all with a small Trusted Computing Base (TCB). Moreover, we demonstrate that it is feasible to build a fully functional contract platform on top of these primitives. We develop ~15,000 lines of code (LoC) for our prototype, only ~1,000 of which need to be trusted. Through analysis, prototype measurements, and a 30-person user study, we show that Tabellion is secure, achieves acceptable performance, and provides slightly better usability than the state-of-the-art electronic contract platform, DocuSign, for viewing and signing contracts.
登录
查看更多内容
DOI：
10.1145/3210240.3210338
发表时间：
2018-06
期刊：
Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services
影响因子：
--
作者：
Kailiang Ying;A. Ahlawat;B. Alsharifi;Yuexin Jiang;Priyank Thavai;Wenliang Du
通讯作者：
Kailiang Ying;A. Ahlawat;B. Alsharifi;Yuexin Jiang;Priyank Thavai;Wenliang Du
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
K. Kain
通讯作者：
K. Kain
Dalì 对数字签名的攻击 1
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
F. Buccafurri;G. Caminiti;G. Lax
通讯作者：
G. Lax
隐藏 PDF 文档中的恶意内容
DOI：
--
发表时间：
2011
期刊：
arXiv.org
影响因子：
--
作者：
Dan
通讯作者：
Dan
时间质量：设计网络物理系统的新视角
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
F. Anwar
通讯作者：
F. Anwar