位置：成果数据库 > 会议 > 会议详情页
Layered model checking of Kerberos protocol
  • 所属机构名称：中国科学院信息工程研究所
  • 会议名称：CryptoForma'11
  • 成果类型：会议
  • 相关项目：视觉密码方案的构造
作者： Peng Jianhua|Liu Feng|Zhao Zhenju|Huang danqing|Xue Rui|
同会议论文项目
视觉密码方案的构造
期刊论文 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
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
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