位置：成果数据库 > 会议 > 会议详情页
Analyze a Privacy-Preserving Vehicular Communication Protocol and Propose a New One
  • 所属机构名称：中国科学院信息工程研究所
  • 会议名称：ISPAN 2009 (10th International Symposium on Pervasive Systems, Algorithms, and Networks)
  • 成果类型：会议
  • 相关项目：视觉密码方案的构造
作者： Lingbo Wei|Jianwei Liu|
同会议论文项目
视觉密码方案的构造
期刊论文 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
Some improvements on model checking CoreASM models of security protocols
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