位置：成果数据库 > 会议 > 会议详情页
The specification and verification of real-time system based on the temporal logic of action
  • 所属机构名称：贵州大学
  • 会议名称：2010 International Conference on Computer Application and System Modeling, Proceedings
  • 成果类型：会议
  • 相关项目：分布式密码系统中的基础协议与公平性研究
作者： Tang Zheng-yi|Peng Chang-gen|Li lun-tao|Li Xiang|
同会议论文项目
分布式密码系统中的基础协议与公平性研究
期刊论文 37 会议论文 6 专利 1
同项目会议论文
Fair contract signing protocol based on short signature
A protocol of secure multi-party multiplication based on bilinear pairing
A fair secret sharing protocol with rational participants
Identity-based distributed cloud storage encryption scheme
Secret sharing scheme with fairness