FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions
To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payme...
Ausführliche Beschreibung
Autor*in: |
Zoran Djuric [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2015 |
---|
Schlagwörter: |
---|
Systematik: |
|
---|
Übergeordnetes Werk: |
Enthalten in: The computer journal - Oxford : Oxford Univ. Press, 1958, 58(2015), 10, Seite 2537 |
---|---|
Übergeordnetes Werk: |
volume:58 ; year:2015 ; number:10 ; pages:2537 |
Links: |
---|
DOI / URN: |
10.1093/comjnl/bxu120 |
---|
Katalog-ID: |
OLC1957197978 |
---|
LEADER | 01000caa a2200265 4500 | ||
---|---|---|---|
001 | OLC1957197978 | ||
003 | DE-627 | ||
005 | 20230714142655.0 | ||
007 | tu | ||
008 | 160206s2015 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1093/comjnl/bxu120 |2 doi | |
028 | 5 | 2 | |a PQ20160617 |
035 | |a (DE-627)OLC1957197978 | ||
035 | |a (DE-599)GBVOLC1957197978 | ||
035 | |a (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 | ||
035 | |a (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 004 |q DE-600 |
084 | |a SA 3740 |q AVZ |2 rvk | ||
100 | 0 | |a Zoran Djuric |e verfasserin |4 aut | |
245 | 1 | 0 | |a FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
264 | 1 | |c 2015 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
520 | |a To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. | ||
650 | 4 | |a Fair exchange | |
650 | 4 | |a Network security | |
650 | 4 | |a Data integrity | |
650 | 4 | |a Confidentiality | |
650 | 4 | |a Payment systems | |
650 | 4 | |a Internet Protocol | |
650 | 4 | |a Authentication protocols | |
700 | 0 | |a Dragan Gasevic |4 oth | |
773 | 0 | 8 | |i Enthalten in |t The computer journal |d Oxford : Oxford Univ. Press, 1958 |g 58(2015), 10, Seite 2537 |w (DE-627)129534889 |w (DE-600)215902-8 |w (DE-576)014963906 |x 0010-4620 |7 nnns |
773 | 1 | 8 | |g volume:58 |g year:2015 |g number:10 |g pages:2537 |
856 | 4 | 1 | |u http://dx.doi.org/10.1093/comjnl/bxu120 |3 Volltext |
856 | 4 | 2 | |u http://search.proquest.com/docview/1720470689 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a GBV_ILN_30 | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_4318 | ||
912 | |a GBV_ILN_4700 | ||
936 | r | v | |a SA 3740 |
951 | |a AR | ||
952 | |d 58 |j 2015 |e 10 |h 2537 |
author_variant |
z d zd |
---|---|
matchkey_str |
article:00104620:2015----::epaeuearxhneamnssefrne |
hierarchy_sort_str |
2015 |
publishDate |
2015 |
allfields |
10.1093/comjnl/bxu120 doi PQ20160617 (DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr DE-627 ger DE-627 rakwb eng 004 DE-600 SA 3740 AVZ rvk Zoran Djuric verfasserin aut FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions 2015 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols Dragan Gasevic oth Enthalten in The computer journal Oxford : Oxford Univ. Press, 1958 58(2015), 10, Seite 2537 (DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 0010-4620 nnns volume:58 year:2015 number:10 pages:2537 http://dx.doi.org/10.1093/comjnl/bxu120 Volltext http://search.proquest.com/docview/1720470689 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 SA 3740 AR 58 2015 10 2537 |
spelling |
10.1093/comjnl/bxu120 doi PQ20160617 (DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr DE-627 ger DE-627 rakwb eng 004 DE-600 SA 3740 AVZ rvk Zoran Djuric verfasserin aut FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions 2015 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols Dragan Gasevic oth Enthalten in The computer journal Oxford : Oxford Univ. Press, 1958 58(2015), 10, Seite 2537 (DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 0010-4620 nnns volume:58 year:2015 number:10 pages:2537 http://dx.doi.org/10.1093/comjnl/bxu120 Volltext http://search.proquest.com/docview/1720470689 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 SA 3740 AR 58 2015 10 2537 |
allfields_unstemmed |
10.1093/comjnl/bxu120 doi PQ20160617 (DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr DE-627 ger DE-627 rakwb eng 004 DE-600 SA 3740 AVZ rvk Zoran Djuric verfasserin aut FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions 2015 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols Dragan Gasevic oth Enthalten in The computer journal Oxford : Oxford Univ. Press, 1958 58(2015), 10, Seite 2537 (DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 0010-4620 nnns volume:58 year:2015 number:10 pages:2537 http://dx.doi.org/10.1093/comjnl/bxu120 Volltext http://search.proquest.com/docview/1720470689 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 SA 3740 AR 58 2015 10 2537 |
allfieldsGer |
10.1093/comjnl/bxu120 doi PQ20160617 (DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr DE-627 ger DE-627 rakwb eng 004 DE-600 SA 3740 AVZ rvk Zoran Djuric verfasserin aut FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions 2015 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols Dragan Gasevic oth Enthalten in The computer journal Oxford : Oxford Univ. Press, 1958 58(2015), 10, Seite 2537 (DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 0010-4620 nnns volume:58 year:2015 number:10 pages:2537 http://dx.doi.org/10.1093/comjnl/bxu120 Volltext http://search.proquest.com/docview/1720470689 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 SA 3740 AR 58 2015 10 2537 |
allfieldsSound |
10.1093/comjnl/bxu120 doi PQ20160617 (DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr DE-627 ger DE-627 rakwb eng 004 DE-600 SA 3740 AVZ rvk Zoran Djuric verfasserin aut FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions 2015 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols Dragan Gasevic oth Enthalten in The computer journal Oxford : Oxford Univ. Press, 1958 58(2015), 10, Seite 2537 (DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 0010-4620 nnns volume:58 year:2015 number:10 pages:2537 http://dx.doi.org/10.1093/comjnl/bxu120 Volltext http://search.proquest.com/docview/1720470689 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 SA 3740 AR 58 2015 10 2537 |
language |
English |
source |
Enthalten in The computer journal 58(2015), 10, Seite 2537 volume:58 year:2015 number:10 pages:2537 |
sourceStr |
Enthalten in The computer journal 58(2015), 10, Seite 2537 volume:58 year:2015 number:10 pages:2537 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
The computer journal |
authorswithroles_txt_mv |
Zoran Djuric @@aut@@ Dragan Gasevic @@oth@@ |
publishDateDaySort_date |
2015-01-01T00:00:00Z |
hierarchy_top_id |
129534889 |
dewey-sort |
14 |
id |
OLC1957197978 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1957197978</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230714142655.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">160206s2015 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1093/comjnl/bxu120</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">PQ20160617</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1957197978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1957197978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DE-600</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 3740</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="0" ind2=" "><subfield code="a">Zoran Djuric</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2015</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fair exchange</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Network security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data integrity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Confidentiality</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Payment systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet Protocol</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Authentication protocols</subfield></datafield><datafield tag="700" ind1="0" ind2=" "><subfield code="a">Dragan Gasevic</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The computer journal</subfield><subfield code="d">Oxford : Oxford Univ. Press, 1958</subfield><subfield code="g">58(2015), 10, Seite 2537</subfield><subfield code="w">(DE-627)129534889</subfield><subfield code="w">(DE-600)215902-8</subfield><subfield code="w">(DE-576)014963906</subfield><subfield code="x">0010-4620</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:58</subfield><subfield code="g">year:2015</subfield><subfield code="g">number:10</subfield><subfield code="g">pages:2537</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://dx.doi.org/10.1093/comjnl/bxu120</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://search.proquest.com/docview/1720470689</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 3740</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">58</subfield><subfield code="j">2015</subfield><subfield code="e">10</subfield><subfield code="h">2537</subfield></datafield></record></collection>
|
author |
Zoran Djuric |
spellingShingle |
Zoran Djuric ddc 004 rvk SA 3740 misc Fair exchange misc Network security misc Data integrity misc Confidentiality misc Payment systems misc Internet Protocol misc Authentication protocols FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
authorStr |
Zoran Djuric |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129534889 |
format |
Article |
dewey-ones |
004 - Data processing & computer science |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0010-4620 |
topic_title |
004 DE-600 SA 3740 AVZ rvk FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions Fair exchange Network security Data integrity Confidentiality Payment systems Internet Protocol Authentication protocols |
topic |
ddc 004 rvk SA 3740 misc Fair exchange misc Network security misc Data integrity misc Confidentiality misc Payment systems misc Internet Protocol misc Authentication protocols |
topic_unstemmed |
ddc 004 rvk SA 3740 misc Fair exchange misc Network security misc Data integrity misc Confidentiality misc Payment systems misc Internet Protocol misc Authentication protocols |
topic_browse |
ddc 004 rvk SA 3740 misc Fair exchange misc Network security misc Data integrity misc Confidentiality misc Payment systems misc Internet Protocol misc Authentication protocols |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
author2_variant |
d g dg |
hierarchy_parent_title |
The computer journal |
hierarchy_parent_id |
129534889 |
dewey-tens |
000 - Computer science, knowledge & systems |
hierarchy_top_title |
The computer journal |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129534889 (DE-600)215902-8 (DE-576)014963906 |
title |
FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
ctrlnum |
(DE-627)OLC1957197978 (DE-599)GBVOLC1957197978 (PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0 (KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr |
title_full |
FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
author_sort |
Zoran Djuric |
journal |
The computer journal |
journalStr |
The computer journal |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works |
recordtype |
marc |
publishDateSort |
2015 |
contenttype_str_mv |
txt |
container_start_page |
2537 |
author_browse |
Zoran Djuric |
container_volume |
58 |
class |
004 DE-600 SA 3740 AVZ rvk |
format_se |
Aufsätze |
author-letter |
Zoran Djuric |
doi_str_mv |
10.1093/comjnl/bxu120 |
dewey-full |
004 |
title_sort |
feips: a secure fair-exchange payment system for internet transactions |
title_auth |
FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
abstract |
To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. |
abstractGer |
To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. |
abstract_unstemmed |
To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool. |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_30 GBV_ILN_70 GBV_ILN_4318 GBV_ILN_4700 |
container_issue |
10 |
title_short |
FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions |
url |
http://dx.doi.org/10.1093/comjnl/bxu120 http://search.proquest.com/docview/1720470689 |
remote_bool |
false |
author2 |
Dragan Gasevic |
author2Str |
Dragan Gasevic |
ppnlink |
129534889 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth |
doi_str |
10.1093/comjnl/bxu120 |
up_date |
2024-07-03T23:31:49.193Z |
_version_ |
1803602634151559168 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1957197978</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230714142655.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">160206s2015 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1093/comjnl/bxu120</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">PQ20160617</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1957197978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1957197978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PRQ)c1783-cb3e4f6f347a73e50447321f4e8bc85c1ed5874413de512d46ce515064029e6b0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(KEY)0141064420150000058001002537feipsasecurefairexchangepaymentsystemforinternettr</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DE-600</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 3740</subfield><subfield code="q">AVZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="0" ind2=" "><subfield code="a">Zoran Djuric</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2015</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">To be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterward; that is, it is necessary to rebalance fairness for customers. To address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for ensuring fair exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fair exchange</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Network security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data integrity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Confidentiality</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Payment systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet Protocol</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Authentication protocols</subfield></datafield><datafield tag="700" ind1="0" ind2=" "><subfield code="a">Dragan Gasevic</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The computer journal</subfield><subfield code="d">Oxford : Oxford Univ. Press, 1958</subfield><subfield code="g">58(2015), 10, Seite 2537</subfield><subfield code="w">(DE-627)129534889</subfield><subfield code="w">(DE-600)215902-8</subfield><subfield code="w">(DE-576)014963906</subfield><subfield code="x">0010-4620</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:58</subfield><subfield code="g">year:2015</subfield><subfield code="g">number:10</subfield><subfield code="g">pages:2537</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://dx.doi.org/10.1093/comjnl/bxu120</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://search.proquest.com/docview/1720470689</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 3740</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">58</subfield><subfield code="j">2015</subfield><subfield code="e">10</subfield><subfield code="h">2537</subfield></datafield></record></collection>
|
score |
7.4023256 |