北京科技大学主页平台管理系统朱岩--中文主页-- SPESC: A Specification Language for Smart Contracts. In Proceedings of the 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018, 2018-7-23.

登录后台 English

论文成果

中文主页 > 科学研究 > 论文成果

SPESC: A Specification Language for Smart Contracts. In Proceedings of the 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018, 2018-7-23.

发布时间：2022-04-11 点击次数：

是否译文：否

上一条：Provably secure cryptographic ABAC system to enhance reliability and privacy using real-time token and dynamic policy. In Proceedings of the 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018, 2018-7-16.

下一条：Identity-Set-based Broadcast Encryption supporting "Cut-or-Select" with Short Ciphertext. 10th ACM Symposium on Information, Computer and Communications Security, 2015-4-14

版权所有©北京科技大学京公网安备:110402430062 京ICP备:13030111号-1

访问量：次 | 最后更新时间：-- | 开通时间：-- |手机版