schliessen

Filtern

 

Bibliotheken

A Framework for Automated Security Proof and its Application to OAEP

OAEP is a widely used public-key encryption scheme based on trapdoor permutation. Its security proof has been scrutinized and amended repeatedly. In this paper we present a automatically proof for IND-CCA2 security of OAEP, which is completed by a framework for mechanized security proof, without any... Full description

Journal Title: Journal of Networks Mar 2013, Vol.8(3), pp.552-558
Main Author: Yan, Guang
Other Authors: Yue-Fei, Zhu , Chun-Xiang, Gu , Jin-Long, Fei , Xin-Zheng, He
Format: Electronic Article Electronic Article
Language: English
Subjects:
ID: ISSN: 17962056
Link: http://search.proquest.com/docview/1348213356/?pq-origsite=primo
Zum Text:
SendSend as email Add to Book BagAdd to Book Bag
Staff View
recordid: proquest1348213356
title: A Framework for Automated Security Proof and its Application to OAEP
format: Article
creator:
  • Yan, Guang
  • Yue-Fei, Zhu
  • Chun-Xiang, Gu
  • Jin-Long, Fei
  • Xin-Zheng, He
subjects:
  • Data Security -- Methods
  • Public Key Encryption -- Methods
ispartof: Journal of Networks, Mar 2013, Vol.8(3), pp.552-558
description: OAEP is a widely used public-key encryption scheme based on trapdoor permutation. Its security proof has been scrutinized and amended repeatedly. In this paper we present a automatically proof for IND-CCA2 security of OAEP, which is completed by a framework for mechanized security proof, without any human intervention. The framework is built on the base of probabilistic polynomial-time process calculus, and capable of dealing with padding-based encryption schemes. We provide an overview of the proof instance and explain several crucial steps of the game transformation. Index Terms--provable security; automated security proof; OAEP; IND-CCA2; partial-domain one-wayness;
language: eng
source:
identifier: ISSN: 17962056
fulltext: fulltext
issn:
  • 17962056
  • 1796-2056
url: Link


@attributes
ID75923603
RANK0.07
NO1
SEARCH_ENGINEprimo_central_multiple_fe
SEARCH_ENGINE_TYPEPrimo Central Search Engine
LOCALfalse
PrimoNMBib
record
control
sourcerecordid1348213356
sourceidproquest
recordidTN_proquest1348213356
sourcesystemOther
pqid1348213356
galeid351081756
display
typearticle
titleA Framework for Automated Security Proof and its Application to OAEP
creatorYan, Guang ; Yue-Fei, Zhu ; Chun-Xiang, Gu ; Jin-Long, Fei ; Xin-Zheng, He
ispartofJournal of Networks, Mar 2013, Vol.8(3), pp.552-558
identifierISSN: 17962056
languageeng
source
descriptionOAEP is a widely used public-key encryption scheme based on trapdoor permutation. Its security proof has been scrutinized and amended repeatedly. In this paper we present a automatically proof for IND-CCA2 security of OAEP, which is completed by a framework for mechanized security proof, without any human intervention. The framework is built on the base of probabilistic polynomial-time process calculus, and capable of dealing with padding-based encryption schemes. We provide an overview of the proof instance and explain several crucial steps of the game transformation. Index Terms--provable security; automated security proof; OAEP; IND-CCA2; partial-domain one-wayness;
subjectData Security -- Methods ; Public Key Encryption -- Methods;
version4
lds50peer_reviewed
links
openurl$$Topenurl_article
openurlfulltext$$Topenurlfull_article
backlink$$Uhttp://search.proquest.com/docview/1348213356/?pq-origsite=primo$$EView_record_in_ProQuest_(subscribers_only)
search
creatorcontrib
0Yan, Guang
1Yue-Fei, Zhu
2Chun-Xiang, Gu
3Jin-Long, Fei
4Xin-Zheng, He
titleA Framework for Automated Security Proof and its Application to OAEP
general
0English
1Academy Publisher
2Electronics and Communications Abstracts
3Advanced Technologies & Aerospace Database
4Advanced Technologies Database with Aerospace
5Technology Research Database
6ProQuest Advanced Technologies & Aerospace Collection
7ProQuest Technology Collection
8ProQuest Computer Science Collection
9ProQuest SciTech Collection
10Computer and Information Systems Abstracts
11SciTech Premium Collection
12Technology Collection
sourceidproquest
recordidproquest1348213356
issn
017962056
11796-2056
rsrctypearticle
creationdate2013
addtitleJournal of Networks
searchscope
01007389
11007454
21007852
31007945
41008685
51008886
610000012
710000015
810000022
910000045
1010000053
1110000070
1210000120
1310000154
1410000194
1510000195
1610000199
1710000203
1810000209
1910000233
2010000260
2110000265
2210000268
23proquest
scope
01007389
11007454
21007852
31007945
41008685
51008886
610000012
710000015
810000022
910000045
1010000053
1110000070
1210000120
1310000154
1410000194
1510000195
1610000199
1710000203
1810000209
1910000233
2010000260
2110000265
2210000268
23proquest
lsr43
01007389false
11007454false
21007852true
31007945true
41008685true
51008886true
610000012false
710000015false
810000022false
910000045true
1010000053true
1110000070false
1210000120true
1310000154false
1410000194true
1510000195false
1610000199false
1710000203false
1810000209false
1910000233true
2010000260true
2110000265true
2210000268true
startdate20130301
enddate20130301
citationpf 552 pt 558 vol 8 issue 3
lsr30VSR-Enriched:[doi, description, pqid, subject, galeid]
sort
titleA Framework for Automated Security Proof and its Application to OAEP
authorYan, Guang ; Yue-Fei, Zhu ; Chun-Xiang, Gu ; Jin-Long, Fei ; Xin-Zheng, He
creationdate20130301
lso0120130301
facets
frbrgroupid7672386927286984176
frbrtype5
languageeng
creationdate2013
collection
0Electronics and Communications Abstracts
1Advanced Technologies & Aerospace Database
2Advanced Technologies Database with Aerospace
3Technology Research Database
4ProQuest Advanced Technologies & Aerospace Collection
5ProQuest Technology Collection
6ProQuest Computer Science Collection
7ProQuest SciTech Collection
8Computer and Information Systems Abstracts
9SciTech Premium Collection
10Technology Collection
prefilterarticles
rsrctypearticles
creatorcontrib
0Yan, Guang
1Yue-Fei, Zhu
2Chun-Xiang, Gu
3Jin-Long, Fei
4Xin-Zheng, He
jtitleJournal of Networks
toplevelpeer_reviewed
delivery
delcategoryRemote Search Resource
fulltextfulltext
addata
aulast
0Yan
1Yue-Fei
2Chun-Xiang
3Jin-long
4Xin-Zheng
aufirst
0Guang
1Zhu
2Gu
3Fei
4He
auinit1
0G.
1Z.
2F.
3H.
au
0Yan, Guang
1Yue-Fei, Zhu
2Chun-Xiang, Gu
3Jin-Long, Fei
4Xin-Zheng, He
atitleA Framework for Automated Security Proof and its Application to OAEP
jtitleJournal of Networks
risdate20130301
volume8
issue3
spage552
epage558
pages552-558
issn17962056
formatjournal
genrearticle
ristypeJOUR
copOulu
pubAcademy Publisher
urlhttp://search.proquest.com/docview/1348213356/
doi10.4304/jnw.8.3.552-558
date2013-03-01