位置：成果数据库 > 会议 > 会议详情页
Some improvements on model checking CoreASM models of security protocols
  • 所属机构名称：中国科学院信息工程研究所
  • 会议名称：2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010
  • 成果类型：会议
  • 相关项目：视觉密码方案的构造
作者： Zhao, Zhenju|Liu, Feng|Peng, Jianhua|Huang, Danqing|Xue, Rui|Zhang, Zhenfeng|
同会议论文项目
视觉密码方案的构造
期刊论文 20 会议论文 13 获奖 2 专利 2
同项目会议论文
ASM-SPV: A model checker for security protocols
Formal verification of HMQV using ASM-SPV
A Short Signature Scheme from the RSA Family
Layered model checking of Kerberos protocol
Toward Real-life Implementation of Signature Schemes from the Strong RSA Assumption
On the Equivalence of Two Definitions of Visual Cryptography Scheme
Analyze a Privacy-Preserving Vehicular Communication Protocol and Propose a New One
Flexible Visual Cryptography Scheme Without Distortion
Multi-pixel Encryption Visual Cryptography
Visual Cryptography for Natural Images and Visual Voting
Some Improvements to the Cost-Based Framework for Analyzing Denial of Service Attack
A Secret Enriched Visual Cryptography Scheme