首页>外文会议>International coference on provable security

International coference on provable security

召开年：2014
召开地：Hong Kong(HK)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Compact Public Key Encryption with Minimum Ideal Property of Hash Functions

机译：哈希函数具有最小理想属性的紧凑型公钥加密
- 作者：Kazuki Yoneyama;Goichiro Hanaoka
- 会议名称：《International coference on provable security》 | 2014年
- random oracle;
- observability;
- public key encryption;
- chosen ciphertext security;
- ciphertext overhead;
2.RCCA-Secure Multi-use Bidirectional Proxy Re-encryption with Master Secret Security

机译：具有主密钥安全性的RCCA-Secure多用途双向代理重新加密
- 作者：Rongxing Lu;Xiaodong Lin;Jun Shao;Kaitai Liang
- 会议名称：《International coference on provable security》 | 2014年
- bidirectional proxy re-encryption;
- replayable chosenciphertext attack;
- random oracle model;
- multi-use;
3.Fine-Grained Conditional Proxy Re-Encryption and Application

机译：细粒度的条件代理重新加密和应用
- 作者：Yanjiang Yang;Haibing Lu;Jian Weng;Youcheng Zhang;Kouichi Sakurai
- 会议名称：《International coference on provable security》 | 2014年
- Conditional proxy re-encryption;
- Attribute-based encryption;
- User revocation;
- Cloud data;
4.Constructing Subspace Membership Encryption through Inner Product Encryption

机译：通过内部产品加密构造子空间成员身份加密
- 作者：Shuichi Katsumata;Noboru Kunihiro
- 会议名称：《International coference on provable security》 | 2014年
- predicate encryption;
- subspace membership encryption;
- function privacy;
5.Efficient (Anonymous) Compact HIBE from Standard Assumptions

机译：标准假设下的高效（匿名）紧凑型HIBE
- 作者：Somindu C. Ramanna;Palash Sarkar
- 会议名称：《International coference on provable security》 | 2014年
- constant-size ciphertext HIBE;
- asymmetric pairings;
- standard assumptions;
- dual-system encryption;
6.Computationally Efficient Ciphertext-Policy Attribute-Based Encryption with Constant-Size Ciphertexts

机译：具有恒定大小密文的计算有效密文策略基于属性的加密
- 作者：Yinghui Zhang;Dong Zheng;Xiaofeng Chen;Jin Li;Hui Li
- 会议名称：《International coference on provable security》 | 2014年
- Attribute-based encryption;
- Constant computation;
- Constant-size ciphertexts;
- Cloud computing;
7.Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack

机译：基于属性的签密：自适应谓词攻击中的签章者隐私，强大的不可伪造性和IND-CCA2安全性
- 作者：Tapas Pandit;Sumit Kumar Pandey;Rana Barua
- 会议名称：《International coference on provable security》 | 2014年
- Attribute-based encryption;
- Attribute-based signature;
- Attribute-based signcryption;
- Commitment scheme;
8.How to Use Pseudorandom Generators in Unconditional Security Settings

机译：如何在无条件安全设置中使用伪随机数生成器
- 作者：Koji Nuida
- 会议名称：《International coference on provable security》 | 2014年
- Pseudorandom generators;
- information-theoretic security;
9.Password-Based Authenticated Key Exchange: An Overview

机译：基于密码的身份验证密钥交换：概述
- 作者：Michel Abdalla
- 会议名称：《International coference on provable security》 | 2014年
- Password-based authentication;
- key exchange;
10.Adaptive versus Static Security in the UC Model

机译：UC模型中的自适应安全性与静态安全性
- 作者：Ivan Damgard;Jesper Buus Nielsen
- 会议名称：《International coference on provable security》 | 2014年
11.Equivalence between MAC, WCR and PRF for Blockcipher Based Constructions

机译：基于块密码的构造的MAC，WCR和PRF之间的等效性
- 作者：Nilanjan Datta;Mridul Nandi
- 会议名称：《International coference on provable security》 | 2014年
- Affine Domain Extension;
- Blockcipher;
- MAC;
- PRF;
- WCR;
12.A Short Fail-Stop Signature Scheme from Factoring

机译：因式分解的短时故障终止签名方案
- 作者：Takashi Yamakawa;Nobuaki Kitajima;Takashi Nishide;Goichiro Hanaoka;Eiji Okamoto
- 会议名称：《International coference on provable security》 | 2014年
13.Impossibility of Surjective Icart-Like Encodings

机译：否定象似Icart编码的可能性
- 作者：Mehdi Tibouchi
- 会议名称：《International coference on provable security》 | 2014年
14.On the Practical Security Bound of GF-NLFSR Structure with SPN Round Function

机译：具有SPN舍入功能的GF-NLFSR结构的实际安全范围
- 作者：Guangyao Zhao;Lei Cheng;Chao Li;Ruilin Li;Xuan Shen
- 会议名称：《International coference on provable security》 | 2014年
- cryptography;
- block cipher;
- practical security;
- differential cryptanalysis;
- linear cryptanalysis;
- GF-NLFSR;
- SPN;
15.Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols

机译：基于非对称双线性配对的协议的计算稳定性
- 作者：Kazuki Yoneyama
- 会议名称：《International coference on provable security》 | 2014年
- formal method;
- computational soundness;
- asymmetric bilinear pairing;
16.Timed-Release Computational Secret Sharing Scheme and Its Applications

机译：定时发布计算秘密共享方案及其应用
- 作者：Yohei Watanabe;Junji Shikata
- 会议名称：《International coference on provable security》 | 2014年
17.Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

机译：OMD身份验证加密模式的耐滥用变体
- 作者：Reza Reyhanitabar;Serge Vaudenay;Damian Vizar
- 会议名称：《International coference on provable security》 | 2014年
- authenticated encryption;
- misuse-resistance;
- OMD;
- CAESAR competition;
18.A Block-Cipher-Based Hash Function Using an MMO-Type Double-Block Compression Function

机译：使用MMO类型的双块压缩函数的基于块密码的哈希函数
- 作者：Shoichi Hirose;Hidenori Kuwakado
- 会议名称：《International coference on provable security》 | 2014年
19.Deniable Version of SIGMA Key Exchange Protocol Resilient to Ephemeral Key Leakage

机译：可抵抗临时密钥泄漏的SIGMA密钥交换协议的可拒绝版本
- 作者：Lukasz Krzywiecki
- 会议名称：《International coference on provable security》 | 2014年
- authentication;
- key exchange;
- deniability;
- simultability;
- privacy;
- AKE protocol;
20.Complete Robustness in Identity-Based Encryption

机译：基于身份的加密的完全鲁棒性
- 作者：Hui Cui;Yi Mu;Man Ho Au
- 会议名称：《International coference on provable security》 | 2014年
- Identity-based encryption;
- CROB;
- RKA security;
21.Forward-Secure Sequential Aggregate Message Authentication Revisited

机译：重新访问前向安全顺序聚合消息身份验证
- 作者：Shoichi Hirose;Hidenori Kuwakado
- 会议名称：《International coference on provable security》 | 2014年
22.A Provable Secure Batch Authentication Scheme for EPCGen2 Tags

机译：一种适用于EPCGen2标签的安全批量身份验证方案
- 作者：Jiageng Chen;Atsuko Miyaji;Chunhua Su
- 会议名称：《International coference on provable security》 | 2014年
- RFID;
- batch authentication;
- pseudo-random number generators;
- security protocol;
23.Generic Transformation to Strongly Existentially Unforgeable Signature Schemes with Leakage Resiliency

机译：泛型转换为具有防泄漏功能的强不存在伪造的签名方案
- 作者：Yuyu Wang;Keisuke Tanaka
- 会议名称：《International coference on provable security》 | 2014年
- generic transformation;
- signature;
- strong existential unforgeability;
- leakage resiliency;
- chameleon hash function;
24.Bounded Pre-image Awareness and the Security of Hash-Tree Keyless Signatures

机译：有限的图像前意识和哈希树无密钥签名的安全性
- 作者：Ahto Buldas;Risto Laanoja;Peeter Laud;Ahto Truu
- 会议名称：《International coference on provable security》 | 2014年
25.Verifiable Computation in Multiparty Protocols with Honest Majority

机译：诚实多数的多方协议中的可验证计算
- 作者：Peeter Laud;Alisa Pankova
- 会议名称：《International coference on provable security》 | 2014年
- Secure multiparty computation;
- Verifiable computation;
- Linear PCP;
26.Lossy Trapdoor Relation and Its Applications to Lossy Encryption and Adaptive Trapdoor Relation

机译：有损活板门关系及其在有损加密和自适应活板门关系中的应用。
- 作者：Haiyang Xue;Xianhui Lu;Bao Li;Yamin Liu
- 会议名称：《International coference on provable security》 | 2014年
- Lossy trapdoor relation;
- Lossy trapdoor functions;
- Lossy encryption;
- Adaptive trapdoor relation;
27.Preface

机译：前言
- 作者：Sherman S.M. Chow;Joseph K. Liu
- 会议名称：《International coference on provable security》 | 2014年